addi x1,  x0, 0x7ff
addi x2,  x0, 0x7ff
addi x3,  x0, 0x7ff
addi x4,  x0, 0x7ff
addi x5,  x0, 0x7ff
addi x6,  x0, 0x7ff
addi x7,  x0, 0x7ff
addi x8,  x0, 0x7ff
addi x9,  x0, 0x7ff
addi x10, x0, 0x7ff
addi x11, x0, 0x7ff
addi x12, x0, 0x7ff
addi x13, x0, 0x7ff
addi x14, x0, 0x7ff
addi x15, x0, 0x7ff
addi x16, x0, 0x7ff
addi x17, x0, 0x7ff
addi x18, x0, 0x7ff
addi x19, x0, 0x7ff
addi x20, x0, 0x7ff
addi x21, x0, 0x7ff
addi x22, x0, 0x7ff
addi x23, x0, 0x7ff
addi x24, x0, 0x7ff
addi x25, x0, 0x7ff
addi x26, x0, 0x7ff
addi x27, x0, 0x7ff
addi x28, x0, 0x7ff
addi x29, x0, 0x7ff
addi x30, x0, 0x7ff
addi x31, x0, 0x7ff