2         `INSN_RET,`INSN_RETCC: begin
 
   5                 1:      begin   // SPECIAL CASE: cycle does NOT increase linearly with ret!
 
   6                                 `EXEC_INC_PC    // cycle 1 is skipped if we are not retcc
 
   8                                 `INSN_cc_NZ:    if (`_F[7])  `EXEC_NEWCYCLE
 
   9                                 `INSN_cc_Z:     if (~`_F[7]) `EXEC_NEWCYCLE
 
  10                                 `INSN_cc_NC:    if (`_F[4])  `EXEC_NEWCYCLE
 
  11                                 `INSN_cc_C:     if (~`_F[4]) `EXEC_NEWCYCLE
 
  13                                 `EXEC_READ(`_SP)        // retry the read
 
  15                 2:      `EXEC_READ(`_SP + 1)
 
  16                 3:      begin /* twiddle thumbs */ end
 
  23         `INSN_RET,`INSN_RETCC: begin
 
  25                 0:      if (opcode[0])  // i.e., not RETCC
 
  26                                 cycle <= 1;     // Skip cycle 1; it gets incremented on the next round.
 
  27                 1:      begin /* Nothing need happen here. */ end
 
  32                                 if (opcode[4] && opcode[0])     /* RETI */