procedure main()
   write("Hello world")
end