void tty_raw(void); void tty_restore(void); int kbd_wait(int timeout);