let loop_ext_pre_bycase  = Hashtbl.create 97