public int read() {if (pos < size) {return s.charAt(pos++);} else {s = null;return -1;}}
public override int Read(){char[] result = new char[1];if (Read(result, 0, 1, false) != -1){return result[0];}return -1;}