Printf.eprintf "\n=================================================\nDEBUGGING\n%!";
Tree.DEBUGTREE.print_stats Format.err_formatter;;
Gc.full_major()
Printf.eprintf "\n=================================================\nDEBUGGING\n%!";
Tree.DEBUGTREE.print_stats Format.err_formatter;;
Gc.full_major()