funct3 = instr[12:15]
        # One-hot version
        funct3Is = Encoder(8)
        funct3Is.i = funct3.shift_left(instr[12:15])