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