MODULE Low;
IMPORT SYSTEM; (* Напугали. БУ! *)
PROCEDURE [ code ] And* (a, b: INTEGER): INTEGER;
HAX, HAX, HAX;
END Low.

MODULE Middle;
IMPORT Low; (* Уже не так страшно *)
PROCEDURE Add* (a, b: INTEGER): INTEGER;
BEGIN RETURN Low.Add (a, b) (* сюда будет заинлайнено *)
END Add;
END Middle.

MODULE Top;
IMPORT Middle; (* Уже совсем не страшно *)
PROCEDURE Add* (a, b: INTEGER): INTEGER;
BEGIN RETURN Middle.Add (a, b) (* сюда инлайна не будет *)
END Add;
END Top.