+ ignore (Unix.alarm 0);
+ let memusage = (Gc.stat ()).Gc.live_words * 4 / 1024 / 1024 in
+ if memusage > 500 then
+ begin
+ prerr_endline ("MEMORIA ALLOCATA: " ^ string_of_int memusage ^ "Mb");
+ CicEnvironment.empty ();
+ Gc.compact ();
+ let memusage = (Gc.stat ()).Gc.live_words * 4 / 1024 / 1024 in
+ prerr_endline ("DOPO CicEnvironment.empty: " ^ string_of_int memusage ^ "Mb");
+ end;