anchor.diff:        let sglId <- toGet(idReturnFifo).get;
         sglId_gen.returnTag(truncate(sglId));
         portsel(regall, 1).request.put(BRAMRequest{write:True, responseOnWrite:False, address: truncate(sglId), datain: tagged Invalid });
  -      $display("idReturn %h", sglId);
  +      $display("idReturn %d", sglId);
      endrule
         
      
  
positive.code:    
  	    
     let verbose = False;
     TagGen#(MaxNumSGLists) sglId_gen <- mkTagGen;
     rule complete_sglId_gen;
        let __x <- sglId_gen.complete;
     endrule
  
negative.code: 	 reqs0[i].enq(req);
        endrule
  
        // pipeline the address lookup
        rule stage2; // Now compare address cutoffs with requested offset
  	 ReqTup req <- toGet(reqs0[i]).get;
  	 Maybe#(Region) m_regionall <- portsel(regall,i).response.get;
  