identification division.
       program-id. bool.
       author. "Patrick Cousot".
       date-written. 10.3.2006.
       date-compiled.
       data division.
       working-storage section.
         01 b pic X.
           88 xfalse value 0.
           88 xtrue  value 1.
         77 x pic 9(4).
         77 y pic 9(4).
       procedure division.
         perform until false
      * ... 
           if (x = 0) set xtrue to true
           else        set xfalse to true
      * ... 
           if not b 
             compute y = 1 / x
           end-if  
         end-perform.
        end-program bool.