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