void 3 (FILEminimizer)