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