active proctype comparator() {
        bit a[8] = {1,0,1,0,1,1,1,1}
        bit b[8] = {1,0,1,0,1,1,1,0}

        byte i

        printf("%d%d%d%d%d%d%d%d\n", a[0], a[1], a[2], a[3], a[4], a[5], a[6], a[7])
        printf("%d%d%d%d%d%d%d%d\n", b[0], b[1], b[2], b[3], b[4], b[5], b[6], b[7])

        for (i : 0 .. 7) {
                if
                :: (a[i] > b[i]) -> goto failed
                :: else -> skip
                fi
        }

        printf("1\n")
        goto done
        failed:
        printf("0\n")
        done:
        skip
}