procedure main() hello() # OK end procedure hello() write("Hello World!") end