(* Test: ASSERT *)

MODULE Main;

VAR i : INTEGER := 7;

BEGIN

<* ASSERT 2 = 3 *>
<* ASSERT i = 7 *>

END Main.