let save_mach ?perm file sexp = save_of_output ?perm output_mach file sexp