Re: [libsmi] Smidump for JAX: strange code for AUGMENTS Index