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