type A = interface function f: integer; begin end; end; begin end.