let
loop_ext_pre_bycase =
Hashtbl
.create 97