#include <stdio.h>

int ft_strlen(char *);


int main()
{

	/* extern ft_strlen("bonjour"); */
	printf("%d\n", ft_strlen("bonjour"));
	return 0;
}