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