let
loop_int_post =
Hashtbl
.create 97