# expected: 1023456789ABCDEF
    .text
_start:
    li x1, 0x1023456789ABCDEF
    sd x1, 100(x0)

    ld x31, 100(x0)