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