MODULE Extern;

PROCEDURE Inside (x: INTEGER): BOOLEAN =
  BEGIN
    RETURN (x = 17);
  END Inside;

BEGIN
EVAL Outside (inside);
EVAL Outside (outside);
END Extern.