anchor.diff:     
         if(e && dfifo.notFull)
   	 dfifo.enq(data);
  -      if(t && tfifo.notFull)
  -	 tfifo.enq(?);
  +      if(t)
  +	 triggeredPulse.send();
         countReg <= c;
         stateReg <= s;
      endmethod
  
positive.code:       endmethod
  
        method Action reset();
  	 stateReg <= Idle;
  	 countReg <= 0;
        endmethod
  
        method Action setTriggerMask(Bit#(64) mask);
  
negative.code:       wchan.writeDone.get;
     endrule
     
     rule triggerRule if (triggeredPulse.pulse);
        indication.triggerFired;
     endrule
     
     method Action dataIn(Bit#(64) data, Bit#(64) trigger) if (stateReg != Idle);
  