let loop_int_pre  = Hashtbl.create 97