'BEGIN'
    'INTEGER'
        I;
    'REAL'
        R;
    'BOOLEAN'
        B;
    'ARRAY'
        A1[1 : I + B],
        A2[2 : 4, 5 : 7];
    'SWITCH' S :=
        'IF' R * P0 < 0 'THEN' L 'ELSE' L2;
    'PROCEDURE' P0;
        R := I 'DIV' R;
    'PROCEDURE' P1(F);
        'REAL'
            F;
        B := I + R;
    L :;
    B := I > S;
    B := B 'OR' P0;
    R := B + A1;
    L2 :;
    R := B 'AND' B;
    I := P1(R);
    'GOTO' B;
    I;
    P1(A2 / R);
    R[I] := 5;
    I :=
        'IF' B 'THEN'
            S
        'ELSE'
            R;
    P1('IF' B 'THEN' B 'ELSE' I - I);
    R := B := B 'AND' B;
    'FOR' I := B 'STEP' 1 'UNTIL' R 'DO'
        A1[S] := A2[2];
    A1 := 0;
    'IF' R 'THEN'
        'GOTO' L;
    'FOR' P0 := 1,
        2 'DO'
        A2[B, I] := 0;
    'BEGIN'
        'ARRAY'
            Q[B : 1];
    'END';
    P1(I, R);
    P1;
'END'