let print results = nb_leaks := 0, 0; let f l = print_leak l; let p, s = !nb_leaks in if l.potential then nb_leaks := p+1, s else nb_leaks := p, s+1 in List.iter f (List.rev results)