#include<stdio.h>

void main()
{
    int strlen(char *);
    
    printf("%d\n", strlen("hello, world"));
}

int strlen(char *s)
{
    int n;
    
    for(n = 0; *s != '\0'; s ++)
        ;
    return n;
}