// stores all strings as UTF8 (typically half as big)

static class CondensedStrings2 extends AbstractList<S> implements RandomAccess {

  byte[] data;

  int[] indices;

  *() {} // only for serialisation

  *(L<S> l) {

    long totalLength = 0;

    for (S s : l) totalLength += l(toUtf8(s));

    int len = (int) totalLength;

    if (len != totalLength) fail("TOO BIG!!!!!! " + totalLength);

    data = new byte[len];

    int n = l(l);

    indices = new int[n];

    int idx = 0;

    for (int i = 0; i < n; i++) {

      S s = l.get(i);

      try {

        byte[] x = toUtf8(s);

        System.arraycopy(x, 0, data, idx, l(x));

        indices[i] = idx;

        idx += l(x);

      } catch (RuntimeException e) {

        print("idx=" + idx + ", s=" + s + ", i=" + i +", n=" + n + ", len=" + len);

        throw e;

      }

    }

  }

  public S get(int i) ctex {

    int idx1 = indices[i];

    int idx2 = i+1 < indices.length ? indices[i+1] : data.length;

    ret fastu_fromUtf8(data, idx1, idx2-idx1);

  }

  public int size() {

    ret indices.length;

  }

  int totalSize() {

    ret data.length;

  }

}