anchor.diff:         host
   `endif
          );
  -   mapM_(uncurry(mkXsimSource), zip(top.indications, genVector()));
  -   mapM_(uncurry(mkXsimSink), zip(top.requests, genVector()));
  +   mapM_(mkXsimSource, top.indications);
  +   mapM_(mkXsimSink, top.requests);
   endmodule
  
positive.code:     port src_rdy = src_rdy;
      port beat = beat;
  endmodule
  module mkXsimSource#(PortalMsgIndication indication, Integer foo)(Empty);
     mkXsimSourceBVI(indication.id, indication.message.src_rdy, indication.message.beat());
     rule ind_dst_rdy;
        indication.message.dst_rdy(True);
  
negative.code:     method beat beat();
      schedule (src_rdy, beat) CF (src_rdy, beat);
  endmodule
  module mkXsimSink#(PortalMsgRequest request)(MsgSinkR#(4));
     let sink <- mkXsimSinkBVI(request.id, request.message.dst_rdy);
     rule req_src_rdy;
        request.message.src_rdy(sink.src_rdy);
  