THREADS_SUBGOAL_COMPLETION_WAIT-> begin