#include <stdint.h>
#include "vga.h"

void main() {
  while (1)
    vga_printsz("Hello! ");
}