anchor.diff:     interface deleteme_unused_clock = unused_clock;
      interface deleteme_unused_reset = unused_reset;
   endmodule
  -
  -module mkZynqTop(ZynqTop);
  -   let top <- mkZynqTopFromPortal(mkPortalTop);
  -   return top;
  -endmodule
  
positive.code:    interface Vector#(4, Reset) deleteme_unused_reset;
  endinterface
  
  typedef (function Module#(PortalTop#(32, 64, PinType, NumberOfMasters)) mkpt(`CLOCK_DECL)) MkPortalTop;
  
  module [Module] mkZynqTopFromPortal#(MkPortalTop constructor)(ZynqTop);
     PS7 ps7 <- mkPS7();
     Clock mainclock = ps7.fclkclk[0];
     Reset mainreset = ps7.fclkreset[0];
  
negative.code:    endrule
  `endif
  
     PortalTop#(32, 64, PinType, NumberOfMasters) top <- mkPortalTop(`CLOCK_ARG clocked_by mainclock, reset_by mainreset);
     mkConnection(ps7, top, clocked_by mainclock, reset_by mainreset);
  
     let intr_mux <- mkInterruptMux(top.interrupt);
  