anchor.diff:      HdmiGenerator hdmiGen <- mkHdmiGenerator(defaultClock, defaultReset,
   					     vsyncPulse, hdmiInternalIndication, clocked_by hdmi_clock, reset_by hdmi_reset);
      
  -   Gearbox#(2, 1, Bit#(32)) gearbox <- mkNto1Gearbox(hdmi_clock, hdmi_reset, hdmi_clock, hdmi_reset);
  -   //MIMOConfiguration mimocfg = MIMOConfiguration { unguarded: False, bram_based: True };
  -   //MIMO#(2, 1, 1920, Bit#(32)) mimo <- mkMIMO(mimocfg, clocked_by hdmi_clock, reset_by hdmi_reset);
      SyncFIFOIfc#(Bit#(64)) synchronizer <- mkSyncFIFO(32, defaultClock, defaultReset, hdmi_clock);
  -   FIFO#(Bit#(32)) pipelineFifo <- mkLFIFO(clocked_by hdmi_clock, reset_by hdmi_reset);
      rule doGet;
         let v = mrFifo.first();
         mrFifo.deq();
         synchronizer.enq(v);
      endrule
  +   Reg#(Bit#(1)) evenOdd <- mkReg(0, clocked_by hdmi_clock, reset_by hdmi_reset);
  +   Reg#(Vector#(2,Bit#(32))) doublePixelReg <- mkReg(unpack(0), clocked_by hdmi_clock, reset_by hdmi_reset);
      rule doPut; // if (mimo.enqReadyN(2));
  -      let v = synchronizer.first;
  -      synchronizer.deq;
  -      //mimo.enq(2, unpack(v));
  -      gearbox.enq(unpack(v));
  -   endrule
  -   rule frommimo if (hdmiGen.status.dataEnable()); // mimo.deqReadyN(1)
  -      //let v = mimo.first();
  -      //mimo.deq(1);
  -      let v = gearbox.first();
  -      gearbox.deq();
  -      hdmiGen.request.put(v[0]);
  +      Vector#(2,Bit#(32)) doublePixel = doublePixelReg;
  +      let pixel = doublePixel[evenOdd];
  +      if (evenOdd == 0) begin
  +	 doublePixel = unpack(synchronizer.first);
  +	 synchronizer.deq;
  +	 pixel = doublePixel[0];
  +      end
  +      evenOdd <= evenOdd + 1;
  +      hdmiGen.request.put(pixel);
      endrule      
   
      FIFOF#(Bool) vsyncFifo <- mkFIFOF();
  
positive.code:       let b <- memreadEngine.finish();
        transferCount <= transferCount + 1;
        transferSumOfCycles <= transferSumOfCycles + extend(transferCycles);
        hdmiDisplayIndication.transferFinished(transferCount);
     endrule
  
      rule bozobit_rule;
  
negative.code: interface HdmiDisplayRequest;
     method Action startFrameBuffer0(Int#(32) base);
     method Action getTransferStats();
     method Action setTraceTransfers(Bool trace);
  endinterface
  interface HdmiDisplayIndication;
     method Action transferStarted(Bit#(32) count);
  