send_mutex_cmd
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 (2, CMD_PROTECTED_OP, &m[0]);
send_mutex_cmd (3, CMD_PROTECTED_OP, &m[1]);
send_mutex_cmd (4, CMD_PROTECTED_OP, &m[2]);
send_mutex_cmd (6, CMD_PROTECTED_OP, &m[0]);
send_mutex_cmd (4, CMD_TAKE_MUTEX, &m[0]);
send_mutex_cmd (0, CMD_TAKE_MUTEX, &mutex);
send_mutex_cmd (test_thread_id, CMD_TAKE_MUTEX, &mutex);