MODULE testvarinit ;


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


BEGIN
   test
END testvarinit.