static L<Int> wrapIntArrayAsImmutableList_ofs(int[] l, int ofs) {
  ret new RandomAccessAbstractList<Int>() {
    public int size() { ret l.length; }
    public Int get(int i) { ret l[i]+ofs; }
  };
}