# expected: 000001FF, FFFFFFFF
    .text
_start:
    addi x1, x0, 0x100
    ori x31, x1, 0x0FF

    addi x1, x0, -1
    ori x31, x1, 0x010