int doblo doblo (FILEminimizer)