import tty

proc kernelMain() {.exportc: "kernel_main"}=
  terminalInitialize()
  terminalWrite("Hello World!\L")
  terminalWrite("MAX_INT:")
  terminalWrite(high(int))
  terminalWrite("\LMIN_INT:")
  terminalWrite(low(int32)+1)