1int foo (__const char *__restrict __s); 2static void 3read_anisou(char line[]) 4{ 5 foo (line+1); 6} 7void 8read_pdbfile(void) 9{ 10 char line[4096]; 11 read_anisou (line); 12} 13