anchor.diff:  // Rotating Queue
   // ============================================================================
   
  -// Each LFSR has a 'shadow register'.  These shadow registers can be
  -// used to save or restore the state of all the LFSRs.  Since we want
  +// Each PRNG has a 'shadow register'.  These shadow registers can be
  +// used to save or restore the state of all the PRNGs.  Since we want
   // to be able to easily serialise this state, for transfer to a file
   // or over a UART, we using the following rotating queue structure.
   
  
positive.code:   List#(Integer) allFreqs =  append(freqs, parFreqs);
    Integer sumFreqs        =  sum(freqs);
    Integer numStates       =  1+sumFreqs+sum(parFreqs);
    LFSR16 stateGen         <- mkLFSR16;
    List#(LFSR16) lfsrs     =  Cons(stateGen, lfsrItems);
    Integer numLFSRs        =  List::length(lfsrs);
    ConfigReg#(State) state <- mkConfigReg(0);
    PulseWire waitWire      <- mkPulseWireOR;
    PulseWire didFire       <- mkPulseWireOR;
  
negative.code:   let invariantBools = concat(map(getInvariantItem, items));
    let preStmt        = seqList(concat(map(getPreStmtItem, items)));
    let postStmt       = seqList(concat(map(getPostStmtItem, items)));
    let prngItems      = concat(map(getPRNGItem, items));
    let actionApps     = map(tpl_2, actionItems);
    let stmtApps       = map(tpl_2, stmtItems);
    let actionMsgs     = map(formatApp, actionApps);
  