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)
  for i in 0..22:
    terminalWrite(i)
    terminalWrite('\L')