anchor.diff:  
      FromPS7 fromPS7 = (interface FromPS7;
   			 interface Clock processing_system7_1_fclk_clk3 = fclk[3].c;
  -			 interface Clock fmc_imageon_video_clk1 = fclk[2].c; // FIXME
  +			 interface Clock fmc_imageon_video_clk1 = io_vita_clk;
   		      endinterface);
      let top <- constructor(fromPS7, clocked_by mainclock.c, reset_by mainclock.r);
      Reg#(Bit#(8)) addrReg <- mkReg(9, clocked_by mainclock.c, reset_by mainclock.r);
  
positive.code:    interface unused_reset3 = fclk[3].r;
  endmodule
  
  module mkImageonZynqTop(ZynqTop#(ImageonVita));
     let top <- mkZynqTopFromPortal(mkPortalTop);
     return top;
  endmodule
  
negative.code: import Leds              :: *;
  import Top               :: *;
  import AxiMasterSlave    :: *;
  import XilinxCells       :: *;
  import XbsvXilinxCells   :: *;
  import PS7LIB::*;
  import PPS7LIB::*;
  