let cast_loc_to_loc _t1 _t2 p = p