public override int rChar() { if (m_pushback != null && m_pushback.sz() > 0) return ((Long)m_pushback.pop()).intValue(); if (m_pos >= m_size) return -1; return m_str[m_pos++]; }