ISO Pascal reference manual

PROGRAM fail(output);
CONST one = 1;
BEGIN
WITH one DO (one is not a record variable}
writeln('oops');
END.
*ERROR 41 -- this is not a record
One of the items following WITH is not a record variable.
PROGRAM fail(output);
VAR r : RECORD x,y,z : integer END;
BEGIN
WITH r DO BEGIN (ok}
WITH y DO writeln('oops'); by isn't a record}
END;
END.
*ERROR 42 -- label is no longer a valid destination for
a GOTO statement
A GOTO statement is not permitted to transfer control into a compound
statement from outside; it may only jump within a compound statement or
out of it.
PROGRAM fail;
LABEL 1, 2;
VAR x : integer;
BEGIN
IF x 0 THEN BEGIN
IF x = 1 THEN GOTO 1; (valid}
GOTO 2; (valid - jumping outwards}
1: x := x+1;
END ELSE BEGIN
GOTO 1 [invalid - jumping inwards}
END;
2: x := 0;
END.
58 Pascal Issue 1