let
loop_int_post_bycase =
Hashtbl
.create 97