public string encode() { string x = m_encoded; if (x != null) return x; return m_encoded = new Encoder(this, true).encode(); }