1  typedef __SIZE_TYPE__ size_t;
       2  
       3  extern size_t strlen (const char *__s)
       4    __attribute__ ((__nothrow__ , __leaf__))
       5    __attribute__ ((__pure__))
       6    __attribute__ ((__nonnull__ (1)));
       7  
       8  extern char *read_file (const char *file);
       9  
      10  size_t test_1 (const char *file)
      11  {
      12    char *str = read_file (file);
      13    return strlen (str);
      14  }