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