Re: [libsmi] xsd output