anchor.diff:        end
       else
         begin
  -        $display("OK: passed", count, " tests.");
  +        $display("OK: passed ", count, " tests.");
           $finish(0);
         end
     endrule
   
   endmodule
   
  +module [Module] blueCheck#(BlueCheck#(Empty) bc)();
  +  blueCheckGo(bc, True);
  +endmodule
  +
   endpackage
  
positive.code:   Randomize#(State) randomState <-
      mkConstrainedRandomizer(0, fromInteger(numStates-1));
    Reg#(State) state <- mkReg(0);
    Reg#(UInt#(16)) count <- mkReg(0);
    Wire#(Bool) waitWire <- mkDWire(False);
    List#(Bool) inState = stateConds(state, 1, freqs);
  
  
negative.code: 
  // Turn the list of items gathered in a BlueCheck module into an
  // actual equivalence checker.
  module [Module] blueCheckGo#(BlueCheck#(Empty) bc, Bool goFlag)();
    // Extract items.
    let {_, items} <- getCollection(bc);
    let actionItems = concat(map(getActionItem, items));
  