# expected: 123451BC, 123451BC, FFFFFFFFF0000000
    .text
_start:
    li x2, 0x11000

    li x1, 0x123451BC
    sw x1, 100(x2)
    lw x31, 100(x2)

    li x1, 0x123451BC
    sw x1, 104(x2)
    lw x31, 104(x2)

    li x1, 0x00000000F0000000
    sw x1, 100(x2)
    lw x31, 100(x2)