INTERFACE Test; PROCEDURE f (x: INTEGER): ADDRESS; END Test.