static L<Int> virtualCountList(int n) {
  ret new RandomAccessAbstractList<Int>() {
    public int size() { ret n; }
    public Int get(int i) { ret i; }
  };
}