begin
   comment LIBRARY 1;
   procedure P(F);
      real procedure
        F;
        comment   (F1):'LABEL' F1;
      F((M));
   B1 :;
   begin
      real procedure Q(L);
         label
           L;
      begin
         goto L;
         Q ≔ 0;
         OUTREAL(99, 1)
      end;
      B2 :;
      begin
         real
           I;
         goto N;
         I ≔ 2;
         OUTREAL(99, I)
      end;
      N :;
      P(Q);
      OUTREAL(99, 3);
   end B1;
   OUTREAL(99, 4);
   M :;
   OUTREAL(99, 5)
end