void kbd_init(void);
int kbd_getc(void);
int kbd_charav(void);