anchor.diff:        mimo.deq(16);
         bluescope.dataIn(v, v);
      endrule
  +`endif
   
      SyncFIFOIfc#(Bit#(64)) synchronizer <- mkSyncFIFO(32, defaultClock, defaultReset, hdmi_clock);
      rule fromMemread;
  
positive.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);
     Reg#(Bool) triggered <- mkReg(False, clocked_by hdmi_clock, reset_by hdmi_reset);
     rule toGearbox if ((hdmisignals.hdmi_vsync == 1) || triggered);
  
negative.code:     interface ObjectReadClient dmaClient = memreadEngine.dmaClient;
      interface HDMI hdmi = hdmisignals;
      interface HdmiInternalRequest internalRequest = hdmiGen.control;
  `ifdef HDMI_BLUESCOPE
      interface BlueScopeRequest bluescopeRequest = bluescope.requestIfc;
      interface ObjectWriteClient bluescopeWriteClient = bluescope.writeClient;
  `endif
      interface XADC xadc;
          method Bit#(4) gpio;
              return { bozobit, hdmisignals.hdmi_vsync,
  