procedure main()
   line := "Hello world"
   write(line)
end