Quelle  francez-p49.cob

       Identification Division.
       Program-Id. francez-p49.
       Author. "Nissim Francez".
      * "aus Program Verification"  
       Data Division.
       Linkage Section.
         78 eps           value 0.0001.
         77 x   pic S9(8)V9(3) comp-2.
       Procedure Division using x.
        l0.
         display "start".
        l.
         if x>=eps then
           go to le
         else  
           divide 2 into x
           go to l
         end-if.
        le.
         display "halt x=" x
       End-Program francez-p49.