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