Quelle  francez-p63.cob

       Identification Division.
       Program-Id. francez-p63.
       Author. "Nissim Francez".
      * "aus Program Verification"  
       Data Division.
       Working-Storage Section.
         77 z   pic S9(8).
       Linkage Section.
         77 x   pic S9(8).
         77 y   pic S9(8).
       Procedure Division using x y.
         display "start".
         move 1 to z
        l.
         if y=0 then
           go to le
         else  
           if function mod(y, 2)=0 then
             divide 2 into y
             multiply x by x giving y
           else
             subtract 1 from y
             multiply z by x
           end-if
           go to l
         end-if.
        le.
         display "halt z=" z
       End-Program francez-p63.