let
save_sexps = save_sexps_mach