anchor.diff:  interface GotohAlgorithm;
      method Action setupA (Bit#(14) start, Bit#(14) length);
      method Action setupB (Bit#(14) start, Bit#(14) length);
  +   method Action setupG (Bit#(16) g);
      method Action setupCC (Bit#(14) start);
      method Action setupDD (Bit#(14) start);
      method Bit#(14) result();
  
positive.code:       bLenReg <= length;
     endmethod
  
     method Action setupCC(Bit#(14) start);
        ccStartReg <= start;
     endmethod
  
negative.code:    Reg#(Bit#(16)) ccData <- mkReg(0);
     Reg#(Bit#(16)) ddData <- mkReg(0);
     Reg#(Bit#(16)) wdata <- mkReg(0);
     Reg#(Bit#(16)) argt <- mkReg(0);
     
    Stmt gotohB =
     seq
  