anchor.diff:  import MMU::*;
   import MemreadEngine::*;
   import MemwriteEngine::*;
  +import HostInterface::*;
   
   
   // generated by tool
  
positive.code: 
     HostMemServerIndication, 
     HostMemServerRequest, 
  
     HostMMURequest, 
     HostMMUIndication, 
  
  
negative.code: 
     // flash memory read server
     MemServerIndicationProxy flashMemServerIndicationProxy <- mkMemServerIndicationProxy(FlashMemServerIndication);
     MemServer#(PhysAddrWidth,64,1) flashMemServer <- mkMemServerR(flashMemServerIndicationProxy.ifc, cons(strstr.haystack_read_client,nil),  cons(flashMMU,nil));
     mkConnection(flashMemServer.masters[0], flashtop.memSlave);
     
     
  