Quelle  foo.cob

       identification division.
       program-id. err.
      * aus LNCS AbsInt, ModelCheck 2009
      * p229 SubPolyHedra: A More Scalable Approach ...
      * Laviron/Logozzo 
       author. "JD".
       date-written. 13.Januar 2009.
       date-compiled.
       data division.
       working-storage section.
        77 x pic S9(4) comp.
        77 y pic S9(4) comp.
       linkage section.
        77 i   pic S9(4) comp.
        77 j   pic S9(4) comp.
       procedure division using i j.
         move i to x y
         if x<=0 then stop run
         else
           perform until x <0
             subtract 1 from x
             subtract 1 from y
             if y=0 then call assert end-if
           end-perform
         end-if  
        end-program err.