Re: [libsmi] smidump-generated JAX trap code problem