let
post_treatment_loops =
Hashtbl
.create 97;