let loop_ext_post_bycase = Hashtbl.create 97