anchor.diff:      return x;
     endactionvalue;
   
  +function Action putWord(File f, Bit#(32) data) =
  +  action
  +    putHalfWord(f, data[31:16]);
  +    putHalfWord(f, data[15:0]);
  +  endaction;
  +
  +function ActionValue#(Bit#(32)) getWord(File f) =
  +  actionvalue
  +    Bit#(16) x <- getHalfWord(f);
  +    Bit#(16) y <- getHalfWord(f);
  +    return {x, y};
  +  endactionvalue;
  +
   // The filename used to store a counter-example on the filesystem.
   
   String filename = "State.txt";
  
positive.code:             nibbleCount <= 0;
            endaction
  
            while (nibbleCount <= 3)
              action
                await(fifo.notFull);
                fifo.enq(hexEncode(tmpReg[15:12]));
                tmpReg <= tmpReg << 4;
                nibbleCount <= nibbleCount+1;
              endaction
  
negative.code:           endaction
          endseq
  
        // Save the state of the PRNGs so we can resume testing later
        // from this point.
        storeToOutput(currentDepth);
  
  