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++]);
}