anchor.diff:  	 779: return tlpDataBramResponseSlice(3);
   	 780: return tlpDataBramResponseSlice(4);
   	 781: return tlpDataBramResponseSlice(5);
  -	 782: return 0;
  -	 783: return 0;
  -	 784: return 0;
  +	 782: return zeroExtend(rcb_mask);
  +	 783: return zeroExtend(pack(max_read_req_bytes));
  +	 784: return zeroExtend(pack(max_payload_bytes));
   	 785: return 0;
   	 786: return 0;
   	 787: return pipeliningEnabledReg ? 1 : 0;
  
positive.code:     rule txnTimer if (timerReg > 0);
          timerReg <= timerReg - 1;
      endrule
  
  //     rule txnTimeout if (busyReg && timerReg == 0);
  // 	let hdr = readDataFifo.first;
  // 	//FIXME: assumes only 1 word read per request
  // 	readDataFifo.deq;
  
  // 	TLPCompletionHeader completion = defaultValue;
  // 	completion.format = MEM_WRITE_3DW_DATA;
  // 	completion.pkttype = COMPLETION;
  // 	completion.nosnoop = SNOOPING_REQD;
  // 	completion.length = 1;
  // 	completion.cmplid = my_id;
  // 	completion.tag = truncate(hdr.tag);
  // 	completion.bytecount = 4;
  // 	completion.reqid = hdr.reqid;
  // 	completion.loweraddr = getLowerAddr(hdr.addr, hdr.firstbe);
  // 	completion.data = byteSwap(32'h0badfeed);
  // 	TLPData#(16) tlp = defaultValue;
  // 	tlp.data = pack(completion);
  // 	tlp.sof = True;
  // 	tlp.eof = True;
  // 	tlp.be = 16'hFFFF;
  // 	tlp.hit = hitReg;
  // 	tlpOutFifo.enq(tlp);
  // 	busyReg <= False;
  //     endrule
  
      rule interruptTlpOut if (interruptRequestedReg // && !interruptSecondHalf
         );
  
negative.code:                              && !in_dma_command_addr_range
                               ;
        Bool is_axi_read       =  tlp.sof
                               && (tlp.hit == 7'h04)
                               && (hdr_3dw.format == MEM_READ_3DW_NO_DATA)
                               ;
        Bool is_axi_write      =  tlp.sof
                               && (tlp.hit == 7'h04)
                               && (hdr_3dw.format == MEM_WRITE_3DW_DATA)
                               && (hdr_3dw.pkttype != COMPLETION)
                               ;
  