Symbol: dis_riscv_decode_len