val _ = print ("Hello world\n") implement main0 () = ()