def main : IO Unit :=
  IO.println ("Hello world!")

#eval main