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