let
save_mach file sexp = save_of_output output_mach file sexp