MODULE U;
IMPORT Z, Test;
PROCEDURE P () = BEGIN END P;
BEGIN
  Test.checkI (Z.a, 1);
  Z.a := 2;
END U.