void 16 (FILEminimizer)