proc main()void:
    writeln("Hello world!");
corp;