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