let stats_nb_deleted_nodes = ref 0