let shift (l:loc) t i : loc = Tint.shift_n_elem l i (sizeof_c_object t)