# expected: 000000009ABCDEF0, 0000000012345678
    .text
_start:
    li x1, 0x123456789ABCDEF0
    sd x1, 128(x0)

    lwu x31, 128(x0)
    lwu x31, 132(x0)