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