let loop_int_pre_bycase  = Hashtbl.create 97