'BEGIN' 'PROCEDURE' P(A ; ; P(1) 'END'