implement main0 () = fprint (stderr_ref, "Goodbye, World!\n")