Symbol: RTLA_OPT_USER_THREADS