INTERFACE Extern; VAR inside: INTEGER; <*EXTERNAL*> VAR outside: INTEGER; <*EXTERNAL*> PROCEDURE Outside (x: INTEGER): BOOLEAN; PROCEDURE Inside (x: INTEGER): BOOLEAN; END Extern.