output_string stderr "Goodbye, World!\n";
Printf.fprintf stderr "Goodbye, World!\n";