MODULE Demo1;

FROM Demo2 IMPORT P;

VAR y: CARDINAL;

BEGIN
    y := P(3);
END Demo1.