get_quit_at_eof
if (get_quit_at_eof() && eof_displayed() &&
if (get_quit_at_eof() == OPT_ONPLUS &&
int get_quit_at_eof(void);