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

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