RiscV.Encode.RV32I