MODULE testvarinit ;


PROCEDURE test ;
VAR
   x: CARDINAL ;
BEGIN
   (* x := 1 ; *)
   IF x = 1
   THEN
   END
END test ;


BEGIN
   test
END testvarinit.