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