SSL err.cob   Sprache: unbekannt

       identification division.
       program-id. err.
      * 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.
        77 erro 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 erro 
         perform until x >= m
           add 1 to x
           add 1 to y
           if y>=m then move 1 to erro goto L end-if
         end-perform
       L.
         display "erro="erro
        end-program err.