flush_lines
flush_lines(extra_lines);
flush_lines(this_line - nflushd_lines -
flush_lines(this_line - nflushd_lines + 1);
static void flush_lines(int);