anchor.diff:     interface ImageCapturePins pins;
          interface ImageonSensorPins pins = fromSensor.pins;
          interface ImageonSerdesPins serpins = serdes.pins;
  -       interface HDMI hdmi = hdmiGen.hdmi;
  +       interface HDMI hdmi = hdmisignals;
      endinterface
   endmodule
   
  
positive.code: 
     // hdmi: output to display
     HdmiInternalIndicationProxy hdmiIndicationProxy <- mkHdmiInternalIndicationProxy(HdmiInternalIndication);
     HdmiGenerator hdmiGen <- mkHdmiGenerator(defaultClock, defaultReset,
         vsyncPulse, hdmiIndicationProxy.ifc, clocked_by hdmi_clock, reset_by hdmi_reset);
     HdmiInternalRequestWrapper hdmiRequestWrapper <- mkHdmiInternalRequestWrapper(HdmiInternalRequest,hdmiGen.control);
  
     Reg#(Bool) frameStart <- mkReg(False, clocked_by imageon_clock, reset_by imageon_reset);
  
negative.code: interface ImageCapturePins;
     interface ImageonSensorPins pins;
     interface ImageonSerdesPins serpins;
     interface HDMI#(Bit#(HdmiBits)) hdmi;
     method Action fmc_video_clk1(Bit#(1) v);
  endinterface
  interface ImageCapture;
  