1 WHEN ((Ack = 1 AND Ack[-1] = 0) OR (Ack = 0 AND Ack[-1] = 1)) 0 OTHERWISE

p029 < BufferSize