MODULE m; VAR i: INTEGER; BEGIN ASSERT(ODD(1)); i := 4; ASSERT(ODD(1 + i)); ASSERT(~ODD(2)); ASSERT(ODD(ORD(TRUE OR FALSE))); END m.