public override Long readChar() { if (m_pushback != null && m_pushback.sz() > 0) return (Long)m_pushback.pop(); if (m_pos >= m_size) return null; return Long.valueOf(m_str[m_pos++]); }