BEXTI - RISC-V instruction reference

bextiExtract bit by immediate 
Sets t1 to the value, 0 or 1, of the bit of t2 numbered by the immediate.
RISC-V manual: bexti 
Forms  bexti , ,   
Operands t1 Any integer register, x0 to x31, or its named alias, such as zero, t0 or t6. 
t2 An integer register. It may be the same register as t1. 
imm6 An unsigned shift count or bit number: 0 to 63 in RV64, or 0 to 31 in RV32. 
 .text
li t0, 13
# t0=13, immediate 2; bexti writes 1 to t2.
bexti t2, t0, 2