PLACE CONDVAR_0_NOTIFY, CONDVAR_0_WAIT_ENABLED, MUTEX_0, MUTEX_0_CONDITION_NOT_SET, MUTEX_0_CONDITION_SET, PROGRAM_END, PROGRAM_PANIC, PROGRAM_START, THREAD_0_END, THREAD_0_START, main_BB1, main_BB10, main_BB11, main_BB12, main_BB13, main_BB14, main_BB15, main_BB16, main_BB17, main_BB18, main_BB19, main_BB2, main_BB20, main_BB21, main_BB3, main_BB4, main_BB5, main_BB6, main_BB7, main_BB8, main_BB9, main__closure_0__BB1, main__closure_0__BB10, main__closure_0__BB2, main__closure_0__BB3, main__closure_0__BB4, main__closure_0__BB5, main__closure_0__BB6, main__closure_0__BB7, main__closure_0__BB8, main__closure_0__BB9; MARKING CONDVAR_0_NOTIFY : 0, CONDVAR_0_WAIT_ENABLED : 1, MUTEX_0 : 1, MUTEX_0_CONDITION_NOT_SET : 1, MUTEX_0_CONDITION_SET : 0, PROGRAM_END : 0, PROGRAM_PANIC : 0, PROGRAM_START : 1, THREAD_0_END : 0, THREAD_0_START : 0, main_BB1 : 0, main_BB10 : 0, main_BB11 : 0, main_BB12 : 0, main_BB13 : 0, main_BB14 : 0, main_BB15 : 0, main_BB16 : 0, main_BB17 : 0, main_BB18 : 0, main_BB19 : 0, main_BB2 : 0, main_BB20 : 0, main_BB21 : 0, main_BB3 : 0, main_BB4 : 0, main_BB5 : 0, main_BB6 : 0, main_BB7 : 0, main_BB8 : 0, main_BB9 : 0, main__closure_0__BB1 : 0, main__closure_0__BB10 : 0, main__closure_0__BB2 : 0, main__closure_0__BB3 : 0, main__closure_0__BB4 : 0, main__closure_0__BB5 : 0, main__closure_0__BB6 : 0, main__closure_0__BB7 : 0, main__closure_0__BB8 : 0, main__closure_0__BB9 : 0; TRANSITION CONDVAR_0_LOST_SIGNAL CONSUME CONDVAR_0_NOTIFY : 1, CONDVAR_0_WAIT_ENABLED : 1; PRODUCE CONDVAR_0_WAIT_ENABLED : 1; TRANSITION CONDVAR_0_NOTIFY_RECEIVED CONSUME CONDVAR_0_NOTIFY : 1, MUTEX_0 : 1; PRODUCE CONDVAR_0_WAIT_ENABLED : 1, main_BB14 : 1; TRANSITION CONDVAR_0_WAIT_SKIP CONSUME MUTEX_0_CONDITION_SET : 1, main_BB13 : 1; PRODUCE MUTEX_0_CONDITION_SET : 1, main_BB14 : 1; TRANSITION CONDVAR_0_WAIT_START CONSUME CONDVAR_0_WAIT_ENABLED : 1, MUTEX_0_CONDITION_NOT_SET : 1, main_BB13 : 1; PRODUCE MUTEX_0 : 1, MUTEX_0_CONDITION_NOT_SET : 1; TRANSITION main_DROP_12 CONSUME main_BB12 : 1; PRODUCE MUTEX_0 : 1, main_BB16 : 1; TRANSITION main_DROP_16 CONSUME main_BB16 : 1; PRODUCE main_BB17 : 1; TRANSITION main_DROP_18 CONSUME main_BB18 : 1; PRODUCE main_BB19 : 1; TRANSITION main_DROP_20 CONSUME main_BB20 : 1; PRODUCE MUTEX_0 : 1, main_BB18 : 1; TRANSITION main_DROP_5 CONSUME main_BB5 : 1; PRODUCE main_BB6 : 1; TRANSITION main_DROP_UNWIND_12 CONSUME main_BB12 : 1; PRODUCE MUTEX_0 : 1, main_BB18 : 1; TRANSITION main_DROP_UNWIND_5 CONSUME main_BB5 : 1; PRODUCE main_BB18 : 1; TRANSITION main_GOTO_15 CONSUME main_BB15 : 1; PRODUCE main_BB10 : 1; TRANSITION main_GOTO_9 CONSUME main_BB9 : 1; PRODUCE main_BB10 : 1; TRANSITION main_RETURN CONSUME main_BB17 : 1; PRODUCE PROGRAM_END : 1; TRANSITION main_SWITCH_INT_FROM_BB11_TO_BB12 CONSUME main_BB11 : 1; PRODUCE main_BB12 : 1; TRANSITION main_SWITCH_INT_FROM_BB11_TO_BB13 CONSUME main_BB11 : 1; PRODUCE main_BB13 : 1; TRANSITION main_SWITCH_INT_FROM_BB21_TO_BB18 CONSUME main_BB21 : 1; PRODUCE main_BB18 : 1; TRANSITION main_SWITCH_INT_FROM_BB21_TO_BB20 CONSUME main_BB21 : 1; PRODUCE main_BB20 : 1; TRANSITION main_UNWIND_19 CONSUME main_BB19 : 1; PRODUCE PROGRAM_PANIC : 1; TRANSITION main__closure_0__DROP_5 CONSUME main__closure_0__BB5 : 1; PRODUCE MUTEX_0 : 1, main__closure_0__BB6 : 1; TRANSITION main__closure_0__DROP_6 CONSUME main__closure_0__BB6 : 1; PRODUCE main__closure_0__BB7 : 1; TRANSITION main__closure_0__DROP_8 CONSUME main__closure_0__BB8 : 1; PRODUCE MUTEX_0 : 1, main__closure_0__BB9 : 1; TRANSITION main__closure_0__DROP_9 CONSUME main__closure_0__BB9 : 1; PRODUCE main__closure_0__BB10 : 1; TRANSITION main__closure_0__DROP_UNWIND_5 CONSUME main__closure_0__BB5 : 1; PRODUCE MUTEX_0 : 1, main__closure_0__BB9 : 1; TRANSITION main__closure_0__RETURN CONSUME main__closure_0__BB7 : 1; PRODUCE THREAD_0_END : 1; TRANSITION main__closure_0__UNWIND_10 CONSUME main__closure_0__BB10 : 1; PRODUCE THREAD_0_END : 1; TRANSITION std_clone_Clone_clone_0_CALL CONSUME main_BB3 : 1; PRODUCE main_BB4 : 1; TRANSITION std_clone_Clone_clone_0_CALL_UNWIND CONSUME main_BB3 : 1; PRODUCE main_BB18 : 1; TRANSITION std_ops_DerefMut_deref_mut_0_CALL CONSUME MUTEX_0_CONDITION_NOT_SET : 1, main__closure_0__BB3 : 1; PRODUCE MUTEX_0_CONDITION_SET : 1, main__closure_0__BB4 : 1; TRANSITION std_ops_Deref_deref_0_CALL CONSUME main_BB6 : 1; PRODUCE main_BB7 : 1; TRANSITION std_ops_Deref_deref_1_CALL CONSUME main_BB10 : 1; PRODUCE main_BB11 : 1; TRANSITION std_ops_Deref_deref_2_CALL CONSUME THREAD_0_START : 1; PRODUCE main__closure_0__BB1 : 1; TRANSITION std_result_Result_unwrap_0_CALL CONSUME main_BB8 : 1; PRODUCE main_BB9 : 1; TRANSITION std_result_Result_unwrap_1_CALL CONSUME main_BB14 : 1; PRODUCE main_BB15 : 1; TRANSITION std_result_Result_unwrap_2_CALL CONSUME main__closure_0__BB2 : 1; PRODUCE main__closure_0__BB3 : 1; TRANSITION std_sync_Arc_T_new_0_CALL CONSUME main_BB2 : 1; PRODUCE main_BB3 : 1; TRANSITION std_sync_Condvar_new_0_CALL CONSUME main_BB1 : 1; PRODUCE main_BB2 : 1; TRANSITION std_sync_Condvar_notify_one_0_CALL CONSUME main__closure_0__BB4 : 1; PRODUCE CONDVAR_0_NOTIFY : 1, main__closure_0__BB5 : 1; TRANSITION std_sync_Mutex_T_lock_0_CALL CONSUME MUTEX_0 : 1, main_BB7 : 1; PRODUCE main_BB8 : 1; TRANSITION std_sync_Mutex_T_lock_1_CALL CONSUME MUTEX_0 : 1, main__closure_0__BB1 : 1; PRODUCE main__closure_0__BB2 : 1; TRANSITION std_sync_Mutex_T_new_0_CALL CONSUME PROGRAM_START : 1; PRODUCE main_BB1 : 1; TRANSITION std_thread_spawn_0_CALL CONSUME main_BB4 : 1; PRODUCE THREAD_0_START : 1, main_BB5 : 1; TRANSITION std_thread_spawn_0_CALL_UNWIND CONSUME main_BB4 : 1; PRODUCE main_BB18 : 1;