Re: [libsmi] tools/dump-xsd.c