public program
[
    console writeLine("Hello World").
]