let
loop_ext_post =
Hashtbl
.create 97