procedure p; begin end;