/* This program prints "Hello, world!" on cout */

proc main()
    echo 'Hello, world!', endl;
end;
