RE: [libsmi] xsd output