void 18 (FILEminimizer)