'BEGIN'
    'INTEGER'
        K;
    K := 0;
    'IF' K = 0'GOTO' FINISH 'ELSE'
        K := K + 1;
    FINISH :;
'END'