FUNC Main() int
  IO.write("Hello World\n")
  RETURN 0
}