public char PeekChar() { if (m_pch<m_buf.Length) return m_buf[m_pch]; if (m_pch==m_buf.Length && m_tokens.usingEOF) return (char)0xFFFF; return (char)0; }