# expected: 00000000, 00000001, 00000001, 00000000
    .text
_start:
    addi x1, x0, (-1)
    addi x2, x0, (-37)
    slt x31, x1, x2

    addi x1, x0, (-37)
    addi x2, x0, (-1)
    slt x31, x1, x2

    addi x1, x0, (-38)
    addi x2, x0, (-38)
    slt x31, x1, x2

    addi x1, x0, 129
    addi x2, x0, (-7)
    slt x31, x1, x2