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