Re: [libsmi] Re: smilint remembers named number in OID value assignment