let
loop_ext_post_bycase =
Hashtbl
.create 97