1 2 3 4
void vga_clear_screen(); void vga_print(char *msg); void vga_print_ln(char *msg); void vga_set_text_colour(int foreground, int background);