let
shift_n_elem a n sz =
let
o : x_offset =
Aint
.of_term n
in
let
o =
Aint
.mult sz o
in
shift a o