begin
   switch PATH ≔      P1,
     P2;
   integer
     N,
     I;
   I ≔ 0;
   LABEL 1 :;
   I ≔ I + 1;
   if I = 2 then
     goto STOP;
   N ≔ 0;
   goto
     if P > 0 then
     PATH[N]
   else
     LABEL 1;
   P1 ≔ P - 1;
   P2 ≔ P - 1;
   STOP :;
end