#include <stdint.h>

void vga_blank();
void vga_scroll();
void vga_printch(uint8_t ch);
void vga_printsz(uint8_t *sz);
void vga_printsn(uint8_t *sn, uint8_t n);
void vga_printu32(uint32_t n);
void vga_printu16(uint16_t n);
void vga_printu8(uint8_t n);