gistfile1.txt

MODULE A;
PROCEDURE P*; END P;
END A.

MODULE B;
IMPORT A;
VAR
  p* : PROCEDURE
BEGIN
  p := A.P;
END B.

MODULE C;
IMPORT B;
VAR
  p : PROCEDURE;
BEGIN
  p := B.p;
  WHILE TRUE DO
    p;
  END
END C.