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