#include <stdint.h>
#include <stddef.h>

extern char keyboard_buffer[100];
extern size_t keyboard_buffer_top;
void handle_keyboard(uint8_t scancode);