anchor.diff:         interface ImageonSensorPins pins = fromSensor.pins;
          interface ImageonSerdesPins serpins = serdes.pins;
          interface HDMI hdmi = hdmisignals;
  +   endinterface
  +   interface XADC             xadc;
  +        method Bit#(4) gpio;
  +            return { bozobit, hdmisignals.hdmi_vsync,
  +                //hdmisignals.hdmi_data[8], hdmisignals.hdmi_data[0]};
  +                hdmisignals.hdmi_hsync, hdmisignals.hdmi_de};
  +        endmethod
      endinterface
   endmodule
   
  
positive.code:        Bit#(32) pixel = {8'b0, xsvi[9:2], xsvi[9:2], xsvi[9:2]};
         hdmiGen.request.put(pixel);
     endrule
     
     Vector#(6,StdPortal) portal_array;
     portal_array[0] = serdesRequestWrapper.portalIfc; 
  
negative.code: interface ImageCapture;
     interface Vector#(6,StdPortal) portals;
     interface ImageCapturePins pins;
     interface XADC             xadc;
  endinterface
  
  module mkImageCapture#(Clock fmc_imageon_clk1)(ImageCapture);
  