public override OctetsStream marshal(OctetsStream os) { os.push_bytes(m_os.buffer(), m_os.size()); return os; }