public int read(char[] c, int off, int len) {if (pos < size) {len = Math.min(len, size-pos);s.getChars(pos, pos+len, c, off);pos += len;return len;} else {s = null;return -1;}}

public override int Read(char[] c, int off, int len){if (pos < size){len = Math.Min(len, size - pos);s.CopyTo(pos, c, off, pos + len - pos);pos += len;return len;}else{s = null;return -1;}}
