import io

procedure main ()
  io.write ("Hello world!")
end