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