let
print_all results =
print results;
print_stat !nb_leaks