# expected: 0000a000,0000b004,0000c008
    .text
_start:
    auipc x31, 0xa
    auipc x31, 0xb
    auipc x31, 0xc