void display_loop();

extern jmp_buf newmode_jmpbuf;