#PASS: eventually either 4 or 0 is reached.
AF(
    (numOut[24:3] = 0) *
    (numOut[1:0] = 0)
);