void init_kb(void);
unsigned char getchar(void);
#define ENTER 13
#define DEL 15
#define BACK 30
#define UP 21
#define DOWN 22
#define LEFT 23
#define RIGHT 24
#define ESC 20
#define PAGEUP 18
#define PAGEDOWN 19
#define HOME 16
#define END 17
#define TAB 25
#define ALT 28
#define PAUSE 31

#define F1 1
#define F2 2
#define F3 3
#define F4 4
#define F5 5
#define F6 6
#define F7 7
#define F8 8
#define F9 9
#define F10 10
#define F11 11
#define F12 12