anchor.diff:  import ImageCapture::*;
   import GetPut::*;
   import Connectable :: *;
  -//import PCIE :: *; // ConnectableWithClocks
   import Clocks :: *;
   import XbsvSpi :: *;
   
  -import GetPutWithClocks :: *;
   import Imageon::*;
   import IserdesDatadeser::*;
   import HDMI::*;
  
positive.code:       captureIndicationProxy.ifc.frameStart(monitor, count);
     endrule
  
      rule xsviConnection;
          let xsvi <- fromSensor.get_data();
          Bit#(32) pixel = {8'b0, xsvi[9:2], xsvi[9:2], xsvi[9:2]};
          hdmiGen.request.put(pixel);
      endrule
     
     Vector#(7,StdPortal) portals;
     portals[0] = captureRequestWrapper.portalIfc;
  
negative.code:       let cycles <- fmcFreqCounter.elapsedCycles();
        captureIndicationProxy.ifc.fmc_clock_period(cycles);
     endrule
  
     Reg#(Bool) frameStart <- mkReg(False, clocked_by imageon_clock, reset_by imageon_reset);
     Reg#(Bit#(32)) frameCount <- mkReg(0, clocked_by imageon_clock, reset_by imageon_reset);
  