(
    (se32 r0 0x01)
    (cmp r0 0x01 (ne? (fault "1")))

    (se4 r0 0x0f)
    (cmp r0 0xffff_ffff_ffff_ffff (ne? (fault "2")))

    (se8 r0 0x0f)
    (cmp r0 0x0f (ne? (fault "3")))

    (se32 r0 0x8000_0000)
    (cmp r0 0xffff_ffff_8000_0000 (ne? (fault "4")))

    (se32 r0 0x7000_0000)
    (cmp r0 0x7000_0000 (ne? (fault "5")))

    (clz r0 0xFF)
    (cmp r0 56 (ne? (fault "6")))

    (clz r0 0)
    (cmp r0 64 (ne? (fault "7")))

    (clz r0 0x0FFF_FFFF_FFFF_FFFF)
    (cmp r0 4 (ne? (fault "8")))

    (clz32 r0 0xFF)
    (cmp r0 24 (ne? (fault "9")))

    (clz32 r0 0x00ff_0000_0000:16)
    (cmp r0 8 (ne? (fault "10")))

    (clz32 r0 0x0000_0000_0000:16)
    (cmp r0 32 (ne? (fault "11")))

    (clo r0 0)
    (cmp r0 0 (ne? (fault "12")))
    (clo16 r0 0)
    (cmp r0 0 (ne? (fault "12b")))
    (clo r0 123456)
    (cmp r0 0 (ne? (fault "13")))

    (clo r0 0xff00_0000_0000_0000)
    (cmp r0 8 (ne? (fault "14")))
)