let mk_index_shift term ty offset = mk_shift_pointer term ty offset