proc main()void:

    write("Hello there world!\n");
corp;