let loop_ext_post = Hashtbl.create 97