anchor.diff:     method Action stopFrameBuffer();
      method Action getTransferStats();
      method Action setTraceTransfers(Bit#(1) trace);
  -   method Action fcStart(Bit#(32) fclk0_cycles); 
   endinterface
   interface HdmiDisplayIndication;
      method Action transferStarted(Bit#(32) count);
      method Action transferFinished(Bit#(32) count);
      method Action transferStats(Bit#(32) count, Bit#(32) transferCycles, Bit#(64) sumOfCycles);
  -   method Action fcElapsedCycles(Bit#(32) elapsedCycles);
   endinterface
   
   interface HdmiDisplay;
  
positive.code: import HDMI::*;
  import XADC::*;
  import YUV::*;
  import FrequencyCounter::*;
  import Gearbox::*;
  import MIMO::*;
  import BlueScope::*;
  
negative.code: `else
     HDMI#(Bit#(HdmiBits)) hdmisignals <- mkHDMI(hdmiGen.rgb888, clocked_by hdmi_clock, reset_by hdmi_reset);
  `endif   
     let bluescope <- mkSyncBlueScope(65536, bluescopeIndication, hdmi_clock, hdmi_reset, defaultClock, defaultReset);
     //Gearbox#(1, 16, Bit#(4)) gearbox <- mk1toNGearbox(hdmi_clock, hdmi_reset, hdmi_clock, hdmi_reset);
     MIMO#(1, 16, 64, Bit#(4)) mimo <- mkMIMO(MIMOConfiguration { unguarded: False, bram_based: False }, clocked_by hdmi_clock, reset_by hdmi_reset);
  