let
loop_int_pre_bycase =
Hashtbl
.create 97