public string ReadString() { string retval = PeekString (pos); pos += retval.Length + 1; return retval; }