+ line = 0;
+ for(;;) {
+ printf("line %d", line++);
+
+ con_pushcur();
+ con_setcur(30, 0);
+ for(i=0; i<65536 * 300; i++) {
+ if((i & 0xfffff) == 0) {
+ con_setcolor(VGA_BRIGHT | (line & 7), VGA_BLACK);
+ con_putchar('>');
+ }
+ }
+ con_setcolor(VGA_WHITE, VGA_BLACK);
+ con_popcur();
+ con_putchar('\n');
+ }