MODULE Z;
IMPORT Test;
BEGIN
  Test.checkI (a, 0);
  a := 1;
END Z.