Quelle  Dahl-p121.cbl   Sprache: Cobol

       identification division.
       program-id. dahl-p97.
      * aus O-J Dahl - Verifiable Programming
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       77 te    pic 9(4).
       linkage section.
       77 n     pic 9(4).
       77 a     pic 9(4) occurs 100.
       77 b     pic 9(4) occurs 100.
       77 c     pic 9(4) occurs 100.
       procedure division using n a.
         if n not= 0 then
           subtract 1 from n giving te
           call mov using te a b c
           call movtop using a c
           call mov using te b a c
         end-if  
        end-program dahl-p97.