RISC-V Disassembler/translator instruction decoding disagreement