select (command)
{
  case CMD_NOP: rx_nop (&registers, &thread_context);     return;
  case CMD_CMP: rx_compare (&registers, &thread_context); return;
  ...                                                                          /* O(n) */
}
else
{
  error (ERR_OPCODE);
}