public override void Print(TextWriter s) { s.Write(" "); m_ref.Print(s); s.WriteLine(m_next.m_state); }