let
loop_ext_pre =
Hashtbl
.create 97