begin 
    integer 
        k;
    k := 0;
    if k = 0 go to finish else 
        k := k + 1;
    finish :;
end