anchor.diff:  interface ImageCapture;
      interface Vector#(6,StdPortal) portals;
      interface ImageCapturePins pins;
  +   interface XADC             xadc;
   endinterface
   
   module mkImageCapture#(Clock fmc_imageon_clk1)(ImageCapture);
  
positive.code:        interface ImageonSensorPins pins = fromSensor.pins;
         interface ImageonSerdesPins serpins = serdes.pins;
         interface HDMI hdmi = hdmisignals;
     endinterface
  endmodule
  
  
negative.code: import CtrlMux::*;
  import Portal::*;
  import Leds::*;
  import XADC::*;
  
  // generated by tool
  import ImageonSerdesRequestWrapper::*;
  