anchor.diff:  
         // Each iteration will produce N test sequences of size 'depth'.
         // After each iteration, the depth is increased.
  -      currentDepth <= params.id.initialDepth;
  +      if (! resumeFlag)
  +        currentDepth <= params.id.initialDepth;
         while (!failureFound && iterCount < params.numIterations)
           seq
             // Check that the depth is OK
  
positive.code:     $fwrite(f, "%c", hexEncode(data[3:0]));
    endaction;
  
  function ActionValue#(Bit#(16)) getSeed(File f) =
    actionvalue
      Bit#(16) x;
      int c0 <- $fgetc(f);
  
negative.code: 
    // Store the values of the shadow LFSRs to a file
  
    function Stmt storeToFile(Bit#(32) depth) =
      seq
        action
          $write("\nSaving state to '%s'", filename);
  