INTERFACE Baz;

PROCEDURE f (x: INTEGER): ADDRESS;

END Baz.