void vga_cursor_hide(void);
void halt(void);