let loop_ext_pre  = Hashtbl.create 97