RE: [libsmi] DEFVAL in xsd output