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