# expected: 000000FF, 00000001, 00000000, 000000000000000F
    .text
_start:
    addi x1, x0, 0x3FC
    srli x31, x1, 2

    #lui x1, 0xA0000
    li x1, 0x00000000A0000000
    srli x31, x1, 31

    lui x1, 0x0A000
    srli x31, x1, 31

    li x1, 0xF000000000000000
    srli x31, x1, 60