encoding: In BinaryXmlWireFormat, added get().