INTERFACE Foof; PROCEDURE P (x := 1; y := 2); END Foof.