anchor.diff:  
   (* always_enabled, always_ready *)
   interface AwsF1ClSh;
  -   method Bit#(1) done();
  +   method Bit#(1) flr_done();
      method Bit#(32) status0();
      method Bit#(32) status1();
      method Bit#(32) id0();
  
positive.code:    let lMemServerIndicationOutputNoc <- mkPortalMsgIndication(extend(pack(PlatformIfcNames_MemServerIndicationH2S)), lMemServerIndicationOutput.portalIfc.indications, lMemServerIndicationOutput.portalIfc.messageSize, clocked_by defaultClock, reset_by defaultReset);
     let lMemServerRequestInputNoc <- mkPortalMsgRequest(extend(pack(PlatformIfcNames_MemServerRequestS2H)), lMemServerRequestInput.portalIfc.requests, clocked_by defaultClock, reset_by defaultReset);
  
  
  `ifdef PinType
     interface pins = top.pins;
  
negative.code: import SimDma::*;
  import IfcNames::*;
  import BuildVector::*;
  import AxiBits::*;
  import FIFOF::*;
  import CFFIFO::*;
  
  `include "ConnectalProjectConfig.bsv"
  
  