anchor.diff:     rule processIF;
         let data = cs.ifreq.first();
         cs.ifreq.deq();
  -      indication.ifreqData(data);
  +      indication.ifreqData(data.rel, data.img);
      endrule
      
      method Action rfreqDataBit(Bit#(16) dataRe, Bit#(16) dataIm);
  
positive.code: import Complex::*;
  import FPCMult::*;
  import FixedPoint::*;
  
  /* rfreqDataWrite data is FixedPoint(2,14) */
  /* setCoeff data is FixedPoint(2, 23) */
  
negative.code:    method Action ifreqData(Bit#(16) dataRe, Bit#(16) dataIm);
  endinterface
  
  module mkChannelSelectTestRequest#(ChannelSelectTestIndication indication) (ChannelSelectTestRequest)
     provisos(Bits#(CoeffData, a__),
  	    Bits#(ProductData, b__),
              Bits#(MulData, c__));
  
     Clock clk <- exposeCurrentClock;
     Reset rst <- exposeCurrentReset;
     Gearbox#(1, 2, Complex#(Signal)) gb <- mk1toNGearbox(clk, rst, clk, rst);
  