trip_eof
trip_eof(BF->s_fp);
trip_eof(str->s_type.BF.s_fp);
trip_eof(str->s_type.BF.s_fp);
trip_eof(str->s_type.BF.s_fp);
trip_eof(str->s_type.BF.s_fp);
trip_eof(str->s_type.BF.s_fp);
trip_eof(str->s_type.BF.s_fp);
trip_eof(BF->s_fp);
extern void trip_eof(FILE *f);