#include "../cpu/types.h" static char key_buffer[256]; void init_keyboard();