CMD_TAKE_MUTEX
send_mutex_cmd (test_thread_id, CMD_TAKE_MUTEX, &m[0]);
send_mutex_cmd (test_thread_id, CMD_TAKE_MUTEX, &m[1]);
send_mutex_cmd (test_thread_id, CMD_TAKE_MUTEX, &m[1]);
send_mutex_cmd (test_thread_id, CMD_TAKE_MUTEX, &m[2]);
send_mutex_cmd (4, CMD_TAKE_MUTEX, &m[0]);
send_mutex_cmd (4, CMD_TAKE_MUTEX, &m[1]);
send_mutex_cmd (4, CMD_TAKE_MUTEX, &m[0]);
case CMD_TAKE_MUTEX:
send_mutex_cmd (0, CMD_TAKE_MUTEX, &mutex);
send_mutex_cmd (test_thread_id, CMD_TAKE_MUTEX, &mutex);