1  import Untitled
2  
3  def main : IO Unit :=
4    IO.println s!"Hello, {hello}!"