anchor.diff:       endrule
   
      rule fib2 (fibstate == FIBSTATE2);
  -      $display("FIBSTATE2");
  +//      $display("FIBSTATE2");
  +      fibtmp1 <= fibretval;
         callfib(fibn - 2, FIBSTATE3);
      endrule
      
      rule fib3 (fibstate == FIBSTATE3);
  -      $display("FIBSTATE3");
  +//      $display("FIBSTATE3 fibtmp1 %d fibretval %d return %d", fibtmp1, fibretval, fibtmp1 + fibretval);
         fibreturn(fibtmp1 + fibretval);
      endrule
         
      rule fibcomplete (fibstate == FIBSTATECOMPLETE);
  -      $display("FIBSTATECOMPLETE");
  +//      $display("FIBSTATECOMPLETE %d %d", fibn, fibretval);
         indication.fibresult(zeroExtend(fibretval));
         fibstate <= FIBSTATEIDLE;
      endrule
      
      method Action fib(Bit#(32) v);
  -      $display("request fib");
  +      $display("request fib %d", v);
         fibn <= truncate(v);
  +      indication.fibnote(8);
         callfib(truncate(v), FIBSTATECOMPLETE);
      endmethod
         
  
positive.code:    
     Stmt callfibstmt =
     seq
        $display("FIBCALL");
        stack.store(fsoffsetn, fibn);
        stack.store(fsoffsettmp1, fibtmp1);
        stack.store(fsoffsetnext, zeroExtend(pack(fibcallreturnto)));
        par
  	 stack.push();
  	 fibn <= fibcallarg;
  	 fibstate <= FIBSTATE1;
        endpar
     endseq;
     
     FSM callFibFSM <- mkFSM(callfibstmt);
     
     Stmt fibreturnstmt =
     seq
        $display("FIBRETURN");
        stack.pop();
        $display("FIBRETURN pop");
        action
  	 let t <- stack.load(fsoffsetn);
  	 fibn <= t;
        endaction
        $display("FIBRETURN n");
        action
  	 let t <- stack.load(fsoffsettmp1);
  	 fibtmp1 <= t;
        endaction
        $display("FIBRETURN tmp1");
        action
  	 let t <- stack.load(fsoffsetnext);
  	 $display("FIBRETURN set state %d", t);
  	 fibstate <= unpack(truncate(t));
        endaction
     endseq;
  
negative.code:    endfunction
  
     rule fib1 (fibstate == FIBSTATE1);
  //      $display("FIBSTATE1");
       if (fibn == 0)
  	fibreturn(0);
       else if (fibn == 1)
  	fibreturn(1);
       else
  