anchor.diff:        ps7.i2c[1].scli(tscl.o);
      endrule
   
  -   let top <- constructor(`CLOCK_ARG clocked_by mainclock, reset_by mainreset);
  +   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);
  
positive.code: import AxiMasterSlave    :: *;
  import AxiDma            :: *;
  
  interface I2C_Pins;
     interface Inout#(Bit#(1)) scl;
     interface Inout#(Bit#(1)) sda;
  
negative.code:    interface deleteme_unused_clock = unused_clock;
     interface deleteme_unused_reset = unused_reset;
  endmodule
  