anchor.diff:          // Ignore first character
           let _  <- $fgetc(file);
   
  +        // Read depth
  +        let d0 <- getHalfWord(file);
  +        let d1 <- getHalfWord(file);
  +        currentDepth <= {d0, d1};
  +        $display("d = ", {d0, d1});
  +
           // Initialise
  -        testDone <= False;
  +        loopDone <= False;
           iterCount <= 0;
         endaction
   
  -      while (!testDone)
  +      while (!loopDone)
           action
  -          let x <- getSeed(seedFile);
  +          let x <- getHalfWord(seedFile);
             shadows.put(x);
   
             // Increment loop counter
             iterCount <= iterCount+1;
  -          if (iterCount+1 == fromInteger(numLFSRs)) testDone <= True;
  +          if (iterCount+1 == fromInteger(numLFSRs)) loopDone <= True;
           endaction
   
         // Close file
  
positive.code:   // Store the values of the shadow LFSRs to file or FIFO, depending
    // on module parameters.
  
    function Stmt storeToOutput();
      if (params.outputFIFO matches tagged Valid .fifo)
        return storeToFIFO(fifo);
      else
        return storeToFile;
    endfunction
  
    // Single walk of the state space
  
negative.code: 
        // Each iteration will produce N test sequences of size 'depth'.
        // After each iteration, the depth is increased.
        if (! resumeFlag)
          currentDepth <= params.id.initialDepth;
        while (!failureFound && iterCount < params.numIterations)
          seq
            // Check that the depth is OK
  