implement main0 () = println! "Hello, world!"