INTERFACE J;
IMPORT I;
PROCEDURE P(c := I.C);
TYPE R = RECORD a := I.D + 2.0d1; END;
END J.