MODULE N;
IMPORT S, U, Z, Test;
PROCEDURE P () =
  BEGIN
    EVAL S.P;
    EVAL U.P;
  END P;
BEGIN
  Test.checkI (Z.a, 2);
  INC (Z.b);
END N.