void 19 (FILEminimizer)