anchor.diff:        endmethod
      
   
  -      method Action set(Bit#(1) cmd, Bit#(2) regist, Bit#(32) addr);
  -	 if (cmd == 1)
  +      method Action set(Bit#(1) _cmd, Bit#(2) regist, Bit#(32) addr);
  +	 if (_cmd == 1)
   	    cmdRing.set(regist, addr);
   	 else
   	    statusRing.set(regist, addr);
   	 indication.ringIndication.setResult(cmd, regist, addr);
         endmethod
      
  -      method Action get(Bit#(1) cmd, Bit#(2) regist);
  -	 if (cmd == 1)
  +      method Action get(Bit#(1) _cmd, Bit#(2) regist);
  +	 if (_cmd == 1)
   	    indication.ringIndication.getResult(1, regist, cmdRing.get(regist));
   	 else
   	    indication.ringIndication.getResult(0, regist, 
  
positive.code:    Stmt cmdDispatch = 
     seq
        while (True) seq
  	 cmd <= cmd_read_chan.readData.get().data;
  	 cmdifc.put(cmd);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
  	 cmdifc.put(cmd_read_chan.readData.get().data);
        endseq
     endseq;
     
  
negative.code:       endseq
     endseq;
     
     mkAutoFSM (cmdFetch);
     mkAutoFSM (cmdDispatch);
     mkAutoFSM (cmdCompletion);
  
  
        // to start a command, doCommand fires off a memory read to the
        // specified address. when it comes back, the doCommandRule will
  