Quelle  loop.cob   Sprache: Cobol

       identification division.
       program-id. loop.
      * aus LNCS AbsInt, ModelCheck 2009
      * p124 Constraint-based Invariant Inference ...
      * Gulwani/Shrivastava/Venkatesam 
       author. "JD".
       date-written. 13.Januar 2009.
       date-compiled.
       data division.
       working-storage section.
        77 x pic S9(4) comp.
       linkage section.
        77 m   pic S9(4) comp.
        77 y pic S9(4) comp.
       procedure division using m returning y.
      *  assume m>0 
         move 0 to x y 
         perform until x >= m
           add 1 to x
           add 1 to y
         end-perform
        end-program loop.