extern vga_set_color
extern vga_blank
extern vga_scroll
extern vga_printch
extern vga_printsz
extern vga_printsn
extern vga_printu32
extern vga_printu16
extern vga_printu8
extern vga_printu32h
extern vga_printu8h