errn += verify("test_2vi_off: a2", i, a2.get(i), -1);
}
// Reset for indexing with invariant offset
for (int i=0; i<ARRLEN; i++) {
a1.lazySet(i, -1);
a2.lazySet(i, -1);
}
test_ci_inv(a1, OFFSET, -1);
for (int i=OFFSET; i<ARRLEN; i++) {
errn += verify("test_ci_inv: a1", i, a1.get(i), -123);
}