implement main0 () = print "Hello world!\n"