#include <stdint.h>

void vga_printsz(uint8_t *sz);