!752 static class CondensedStrings { char[] data; int[] indices; *(L l) { long totalLength = 0; for (S s : l) totalLength += l(s); int len = (int) totalLength; if (len != totalLength) fail("TOO BIG!!!!!! " + totalLength); data = new char[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 { s.getChars(0, l(s), data, idx); indices[i] = idx; idx += l(s); } catch (RuntimeException e) { print("idx=" + idx + ", s=" + s + ", i=" + i +", n=" + n + ", len=" + len); throw e; } } } S get(int i) { int idx1 = indices[i]; int idx2 = i+1 < indices.length ? indices[i+1] : data.length; ret new String(data, idx1, idx2-idx1); } int size() { ret indices.length; } } p { CondensedStrings cs = new CondensedStrings(litlist("hello", "world!")); print(quote(cs.get(0))); print(quote(cs.get(1))); }