1extern __SIZE_TYPE__ strlen (const char *);
2void foo (char *, const char *);
3int bar (const char *prefix)
4{
5    char buff[256];
6    foo (buff, prefix);
7    return strlen(buff);
8}
9