ifp: watch out!

boolean zero; intVector X(N); ... ifp (X == 0) zero = true; else zero = false; This will always set zero to true, then to false, leaving it at false. The programmer probably wanted a reduction: zero = all(X == 0); or zero = any(X == 0);
next...
prev...
begin lecture again...