THREAD_SPEC__USER
if (s == THREAD_SPEC__USER) {
opts->threads_spec = THREAD_SPEC__USER;
if (opts->threads_spec == THREAD_SPEC__USER)
case THREAD_SPEC__USER: