47   FILE *fp;  in open_data_file()  local
73 close_data_file (FILE *fp)  in close_data_file()
81 skip_line (FILE *fp)  in skip_line()
95 skip_whitespace (FILE *fp)  in skip_whitespace()
108 skip_whitespace_comments (FILE *fp)  in skip_whitespace_comments()
120 read_string (FILE *fp, char **buffer_ptr, size_t buffer_length, const char *name)  in read_string()
183 read_ternary (FILE *fp, int* ternary)  in read_ternary()
213 read_mpfr_rounding_mode (FILE *fp, mpfr_rnd_t* rnd)  in read_mpfr_rounding_mode()
249 read_mpc_rounding_mode (FILE *fp, mpc_rnd_t* rnd)  in read_mpc_rounding_mode()
258 read_int (FILE *fp, int *nread, const char *name)  in read_int()
282 read_mpfr_prec (FILE *fp)  in read_mpfr_prec()
308 read_mpfr_mantissa (FILE *fp, mpfr_ptr x)  in read_mpfr_mantissa()
328 read_mpfr (FILE *fp, mpfr_ptr x, int *known_sign)  in read_mpfr()
345 read_mpc (FILE *fp, mpc_ptr z, known_signs_t *ks)  in read_mpc()