rem: static void repaint()
add: repaint()
context: static void repaint(){	int i;	int line_num;	line_num = console.first_line;	for(i = 0; i < console.rows; i++) {//		dprintf("line_num = %d\n", line_num);		if(console.dirty_lines[line_num]) {//			dprintf("repaint(): rendering line %d %d\n", line_num, i);			console.render_line(console.lines[line_num], i);			console.dirty_lines[line_num] = 0;		}		line_num = INC_WITH_WRAP(line_num, console.num_lines);	}}