anchor.diff:  `ifndef GET_PUT_WITH_CLOCKS_USE_XILINX_FIFO
         SyncFIFOIfc#(a) synchronizer <- mkSyncFIFO(8, inClock, inReset, outClock);
         //FIFOF#(a) synchronizer <- mkDualClockBramFIFOF(inClock, inReset, outClock, outReset);
  -      let getProbe <- mkProbe();
  -      let putProbe <- mkProbe();
  +      let getProbe <- mkProbe(clocked_by inClock, reset_by inReset);
  +      let putProbe <- mkProbe(clocked_by outClock, reset_by outReset);
          rule mcwc_doGet;
              let v <- in.get();
   	  getProbe <= v;
  
positive.code: `ifndef GET_PUT_WITH_CLOCKS_USE_XILINX_FIFO
        SyncFIFOIfc#(a) synchronizer <- mkSyncFIFO(8, inClock, inReset, outClock);
        //FIFOF#(a) synchronizer <- mkDualClockBramFIFOF(inClock, inReset, outClock, outReset);
        let getProbe <- mkProbe();
        let putProbe <- mkProbe();
         rule mcwc_doGet;
             let v <- in.get();
  	   getProbe <= v;
  
negative.code: `ifndef GET_PUT_WITH_CLOCKS_USE_XILINX_FIFO
        SyncFIFOIfc#(a) synchronizer <- mkSyncFIFO(8, inClock, inReset, outClock);
        //FIFOF#(a) synchronizer <- mkDualClockBramFIFOF(inClock, inReset, outClock, outReset);
        let deqProbe <- mkProbe(clocked_by inClock, reset_by inReset);
        let enqProbe <- mkProbe(clocked_by outClock, reset_by outReset);
         rule mcwc_doGet;
            let v = in.first;
  	  in.deq();
  