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