void key_init();
char getchar();