anchor.diff:        indication.coreIndication.completion(1, v);
      endrule
   
  -//   rule doCommandRule;
  -      //let v <- cmd_read_chan.readData.get;
  -      //doCommandImmediate(v);
  -//   endrule
  -   
  -  mkAutoFSM (cmdFetch);
  -  mkAutoFSM (cmdDispatch);
  -  mkAutoFSM (cmdCompletion);
  +   mkAutoFSM (cmdFetch);
  +   mkAutoFSM (cmdDispatch);
  +   mkAutoFSM (cmdCompletion);
   
      interface CoreRequest coreRequest;
   
  
positive.code:       while(True) seq
  	 if (statusRing.notFull() && copyEngine.response.notEmpty())
  	    for (ii <= 1; ii < 8; ii <= ii + 1)
  	       statusput(copyEngine.get());
  	 if (statusRing.notFull() && echoEngine.response.notEmpty())
  	    for (ii <= 1; ii < 8; ii <= ii + 1)
  	       statusput(echoEngine.get());
        endseq
     endseq;
     
  
negative.code:    endfunction
     
     
     // wait for hwenabled
     // wait for not cmdBusy
     // wait for cmdRing not empty
  