anchor.diff:          end;
       end;
     end;
  -  globalInt := 100;
  +  globalNum := 100;
   end;
   
   { TTestKCriticalSectionThread }
  
positive.code: //
  
  var
    globalInt : cardinal;
    cs : TRTLCriticalSection;
    kcs : TFslLock;
    sem : TSemaphore;
  
negative.code: 
  procedure TTestSemaphoreThread.execute;
  begin
    inc(globalNum);
    while not Terminated do
    begin
      case sem.WaitFor(10000) of
        wrSignaled:
          begin
            inc(globalNum);
          end;
        wrTimeout:
          begin
  