#include "keyboard_def.h"
int *keyboard_buffer;
int keyboard_buffer_ptr;
int keyboard_buffer_used;