INTERFACE V;
PROCEDURE P ();
END V.