let
loop_int_pre =
Hashtbl
.create 97