MODULE U1;
    IMPORT D1;
    VAR    v1, v2    : INTEGER;
BEGIN
    (* as well as v1 and v2, D1.x and D1.P1 are visible here *)
END U1.