loop
            read in a value;
            if value = Sentinel then exit;
            process the value
          endloop;

##</code><code>##

          read in a value;
          while value != Sentinel do begin
            process the value;
            read in a value
          end;