[libsmi] xsd output