6   FILE *fp = tmpfile();  in check_fread()  local
12   FILE *fp = tmpfile();  in check_fwrite()  local
18   FILE *fp = tmpfile();  in check_fseek()  local
24   FILE *fp = tmpfile();  in check_ftell()  local
30   FILE *fp = tmpfile();  in check_rewind()  local
36   FILE *fp = tmpfile();  in check_fgetpos()  local
43   FILE *fp = tmpfile();  in check_fsetpos()  local
50   FILE *fp = tmpfile();  in check_clearerr()  local
56   FILE *fp = tmpfile();  in check_feof()  local
62   FILE *fp = tmpfile();  in check_ferror()  local
68   FILE *fp = tmpfile();  in check_fileno()  local
154 void pr7831(FILE *fp) {  in pr7831()