let post_treatment_loops = Hashtbl.create 97;