RiscV.Decode.RV32I
decodeInstr
data
DecodingError