void console_pageup() { int i = 23; while(i--) console_up(); }
void brhist_jump_back(void) { console_up(brhist.hist_printed_lines); brhist.hist_printed_lines = 0; }