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