anchor.diff:  	    Add#(a__, TLog#(numSlaves), selWidth)
         );
   
  -   Vector#(numSlaves, MemSlave#(aw,dataWidth)) ifcs = take(slaves);
  +   Vector#(numSlaves, MemSlave#(aw,dataWidth)) portalIfcs = take(slaves);
      let port_sel_low = valueOf(aw);
      let port_sel_high = valueOf(TSub#(addrWidth,1));
      function Bit#(selWidth) psel(Bit#(addrWidth) a);
  
positive.code:       endinterface
        interface Get writeDone;
  	 method ActionValue#(Bit#(6)) get();
  	    let rv <- ifcs[ws.first].write_server.writeDone.get();
  	    req_aw_fifo.deq;
  	    ws.deq();
  	    return rv;
  
negative.code: 	    FunnelPipesPipelined#(1, numInputs, ObjectData#(dataWidth), bpc)
  	    );
     
     Vector#(numInputs, MemSlave#(aw,dataWidth)) portalIfcs = cons(dir.portalIfc.slave,map(getSlave, portals));
     let port_sel_low = valueOf(aw);
     let port_sel_high = valueOf(TAdd#(3,aw));
     function Bit#(4) psel(Bit#(addrWidth) a);
  