anchor.diff:  import Imageon::*;
   import ConnectableWithTrace::*;
   import CtrlMux::*;
  +import TriState::*;
  +
  +interface I2C_Pins;
  +   interface Inout#(Bit#(1)) scl;
  +   interface Inout#(Bit#(1)) sda;
  +   interface Bit#(1) rst_pin;
  +endinterface
   
   //`define TRACE_AXI
   //`define AXI_READ_TIMING
  
positive.code:    PS7 ps7 <- mkPS7();
     Clock mainclock = ps7.fclkclk[0];
     Reset mainreset = ps7.fclkreset[0];
  
     Clock fmc_video_clk1_buf <- mkClockBUFG(clocked_by fmc_video_clk1);
     let top <- constructor(ps7.fclkclk[3], fmc_video_clk1_buf, clocked_by mainclock, reset_by mainreset);
  
negative.code:    interface LEDS             leds;
     (* prefix="XADC" *)
     interface XADC             xadc;
     (* prefix="I2C" *)
     interface I2C_Pins         i2c;
     (* prefix="" *)
     interface pins             pins;
     interface Vector#(4, Clock) unused_clock;
  