INTERFACE S; PROCEDURE P (); END S.