anchor.diff:  import AxiMasterSlave :: *;
   
   typedef struct {
  -    Bit#(32) seqno;
  +    Bit#(32) timestamp;
       Bit#(7) unused;
       TLPData#(16) tlp;
   } TimestampedTlpData deriving (Bits);
  
positive.code:                                                  , max_payload_bytes
                                                   );
  
     rule endTrace if (csr.tlpTracing && csr.tlpDataBramWrAddr > 2047);
         csr.tlpTracing <= False;
     endrule
  
negative.code:        let tlp <- arbiter.tlp_out_to_bus.get();
         tlpToBusFifo.enq(tlp);
         if (csr.tlpTracing) begin
  	   TimestampedTlpData ttd = TimestampedTlpData { timestamp: timestamp, unused: 7'h08, tlp: tlp };
  	   csr.tlpDataBram.request.put(BRAMRequest{ write: True, responseOnWrite: False, address: truncate(csr.tlpDataBramWrAddr), datain: ttd });
  	   csr.tlpDataBramWrAddr <= csr.tlpDataBramWrAddr + 1;
  	   csr.tlpSeqno <= csr.tlpSeqno + 1;
  