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