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