Re: [libsmi] DEFVAL in xsd output