'BEGIN' 'PROCEDURE' P(L); 'INTEGER' L; L : 'BEGIN' 'REAL' A; 'GOTO' L; L :; 'GOTO' LL 'END'; P(1); LL :; 'END'