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