digraph petrinet { CONDVAR_0_NOTIFY [shape="circle" xlabel="CONDVAR_0_NOTIFY" label=""]; CONDVAR_0_WAIT_ENABLED [shape="circle" xlabel="CONDVAR_0_WAIT_ENABLED" label="•"]; CONDVAR_1_NOTIFY [shape="circle" xlabel="CONDVAR_1_NOTIFY" label=""]; CONDVAR_1_WAIT_ENABLED [shape="circle" xlabel="CONDVAR_1_WAIT_ENABLED" label="•"]; MUTEX_0 [shape="circle" xlabel="MUTEX_0" label="•"]; MUTEX_0_CONDITION_NOT_SET [shape="circle" xlabel="MUTEX_0_CONDITION_NOT_SET" label="•"]; MUTEX_0_CONDITION_SET [shape="circle" xlabel="MUTEX_0_CONDITION_SET" label=""]; MUTEX_1_CONDITION_NOT_SET [shape="circle" xlabel="MUTEX_1_CONDITION_NOT_SET" label="•"]; MUTEX_1_CONDITION_SET [shape="circle" xlabel="MUTEX_1_CONDITION_SET" label=""]; PROGRAM_END [shape="circle" xlabel="PROGRAM_END" label=""]; PROGRAM_PANIC [shape="circle" xlabel="PROGRAM_PANIC" label=""]; PROGRAM_START [shape="circle" xlabel="PROGRAM_START" label="•"]; THREAD_0_END [shape="circle" xlabel="THREAD_0_END" label=""]; THREAD_0_START [shape="circle" xlabel="THREAD_0_START" label=""]; THREAD_1_END [shape="circle" xlabel="THREAD_1_END" label=""]; THREAD_1_START [shape="circle" xlabel="THREAD_1_START" label=""]; main_BB1 [shape="circle" xlabel="main_BB1" label=""]; main_BB10 [shape="circle" xlabel="main_BB10" label=""]; main_BB11 [shape="circle" xlabel="main_BB11" label=""]; main_BB12 [shape="circle" xlabel="main_BB12" label=""]; main_BB13 [shape="circle" xlabel="main_BB13" label=""]; main_BB14 [shape="circle" xlabel="main_BB14" label=""]; main_BB15 [shape="circle" xlabel="main_BB15" label=""]; main_BB16 [shape="circle" xlabel="main_BB16" label=""]; main_BB17 [shape="circle" xlabel="main_BB17" label=""]; main_BB18 [shape="circle" xlabel="main_BB18" label=""]; main_BB2 [shape="circle" xlabel="main_BB2" label=""]; main_BB3 [shape="circle" xlabel="main_BB3" label=""]; main_BB4 [shape="circle" xlabel="main_BB4" label=""]; main_BB5 [shape="circle" xlabel="main_BB5" label=""]; main_BB6 [shape="circle" xlabel="main_BB6" label=""]; main_BB7 [shape="circle" xlabel="main_BB7" label=""]; main_BB8 [shape="circle" xlabel="main_BB8" label=""]; main_BB9 [shape="circle" xlabel="main_BB9" label=""]; main__closure_0__BB1 [shape="circle" xlabel="main__closure_0__BB1" label=""]; main__closure_0__BB10 [shape="circle" xlabel="main__closure_0__BB10" label=""]; main__closure_0__BB11 [shape="circle" xlabel="main__closure_0__BB11" label=""]; main__closure_0__BB12 [shape="circle" xlabel="main__closure_0__BB12" label=""]; main__closure_0__BB13 [shape="circle" xlabel="main__closure_0__BB13" label=""]; main__closure_0__BB14 [shape="circle" xlabel="main__closure_0__BB14" label=""]; main__closure_0__BB15 [shape="circle" xlabel="main__closure_0__BB15" label=""]; main__closure_0__BB16 [shape="circle" xlabel="main__closure_0__BB16" label=""]; main__closure_0__BB17 [shape="circle" xlabel="main__closure_0__BB17" label=""]; main__closure_0__BB18 [shape="circle" xlabel="main__closure_0__BB18" label=""]; main__closure_0__BB19 [shape="circle" xlabel="main__closure_0__BB19" label=""]; main__closure_0__BB2 [shape="circle" xlabel="main__closure_0__BB2" label=""]; main__closure_0__BB20 [shape="circle" xlabel="main__closure_0__BB20" label=""]; main__closure_0__BB21 [shape="circle" xlabel="main__closure_0__BB21" label=""]; main__closure_0__BB22 [shape="circle" xlabel="main__closure_0__BB22" label=""]; main__closure_0__BB23 [shape="circle" xlabel="main__closure_0__BB23" label=""]; main__closure_0__BB24 [shape="circle" xlabel="main__closure_0__BB24" label=""]; main__closure_0__BB25 [shape="circle" xlabel="main__closure_0__BB25" label=""]; main__closure_0__BB26 [shape="circle" xlabel="main__closure_0__BB26" label=""]; main__closure_0__BB3 [shape="circle" xlabel="main__closure_0__BB3" label=""]; main__closure_0__BB4 [shape="circle" xlabel="main__closure_0__BB4" label=""]; main__closure_0__BB5 [shape="circle" xlabel="main__closure_0__BB5" label=""]; main__closure_0__BB6 [shape="circle" xlabel="main__closure_0__BB6" label=""]; main__closure_0__BB7 [shape="circle" xlabel="main__closure_0__BB7" label=""]; main__closure_0__BB8 [shape="circle" xlabel="main__closure_0__BB8" label=""]; main__closure_0__BB9 [shape="circle" xlabel="main__closure_0__BB9" label=""]; main__closure_1__BB1 [shape="circle" xlabel="main__closure_1__BB1" label=""]; main__closure_1__BB10 [shape="circle" xlabel="main__closure_1__BB10" label=""]; main__closure_1__BB11 [shape="circle" xlabel="main__closure_1__BB11" label=""]; main__closure_1__BB12 [shape="circle" xlabel="main__closure_1__BB12" label=""]; main__closure_1__BB13 [shape="circle" xlabel="main__closure_1__BB13" label=""]; main__closure_1__BB14 [shape="circle" xlabel="main__closure_1__BB14" label=""]; main__closure_1__BB15 [shape="circle" xlabel="main__closure_1__BB15" label=""]; main__closure_1__BB16 [shape="circle" xlabel="main__closure_1__BB16" label=""]; main__closure_1__BB17 [shape="circle" xlabel="main__closure_1__BB17" label=""]; main__closure_1__BB18 [shape="circle" xlabel="main__closure_1__BB18" label=""]; main__closure_1__BB19 [shape="circle" xlabel="main__closure_1__BB19" label=""]; main__closure_1__BB2 [shape="circle" xlabel="main__closure_1__BB2" label=""]; main__closure_1__BB20 [shape="circle" xlabel="main__closure_1__BB20" label=""]; main__closure_1__BB21 [shape="circle" xlabel="main__closure_1__BB21" label=""]; main__closure_1__BB3 [shape="circle" xlabel="main__closure_1__BB3" label=""]; main__closure_1__BB4 [shape="circle" xlabel="main__closure_1__BB4" label=""]; main__closure_1__BB5 [shape="circle" xlabel="main__closure_1__BB5" label=""]; main__closure_1__BB6 [shape="circle" xlabel="main__closure_1__BB6" label=""]; main__closure_1__BB7 [shape="circle" xlabel="main__closure_1__BB7" label=""]; main__closure_1__BB8 [shape="circle" xlabel="main__closure_1__BB8" label=""]; main__closure_1__BB9 [shape="circle" xlabel="main__closure_1__BB9" label=""]; CONDVAR_0_LOST_SIGNAL [shape="box" xlabel="" label="CONDVAR_0_LOST_SIGNAL"]; CONDVAR_0_NOTIFY_RECEIVED [shape="box" xlabel="" label="CONDVAR_0_NOTIFY_RECEIVED"]; CONDVAR_0_WAIT_SKIP [shape="box" xlabel="" label="CONDVAR_0_WAIT_SKIP"]; CONDVAR_0_WAIT_START [shape="box" xlabel="" label="CONDVAR_0_WAIT_START"]; CONDVAR_1_LOST_SIGNAL [shape="box" xlabel="" label="CONDVAR_1_LOST_SIGNAL"]; CONDVAR_1_NOTIFY_RECEIVED [shape="box" xlabel="" label="CONDVAR_1_NOTIFY_RECEIVED"]; CONDVAR_1_WAIT_SKIP [shape="box" xlabel="" label="CONDVAR_1_WAIT_SKIP"]; CONDVAR_1_WAIT_START [shape="box" xlabel="" label="CONDVAR_1_WAIT_START"]; core_fmt_rt_Argument_a_new_display_0_CALL [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_0_CALL"]; core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND"]; core_fmt_rt_Argument_a_new_display_1_CALL [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_1_CALL"]; core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND"]; main_DROP_10 [shape="box" xlabel="" label="main_DROP_10"]; main_DROP_12 [shape="box" xlabel="" label="main_DROP_12"]; main_DROP_13 [shape="box" xlabel="" label="main_DROP_13"]; main_DROP_15 [shape="box" xlabel="" label="main_DROP_15"]; main_DROP_17 [shape="box" xlabel="" label="main_DROP_17"]; main_DROP_8 [shape="box" xlabel="" label="main_DROP_8"]; main_DROP_9 [shape="box" xlabel="" label="main_DROP_9"]; main_DROP_UNWIND_8 [shape="box" xlabel="" label="main_DROP_UNWIND_8"]; main_DROP_UNWIND_9 [shape="box" xlabel="" label="main_DROP_UNWIND_9"]; main_RETURN [shape="box" xlabel="" label="main_RETURN"]; main_SWITCH_INT_FROM_BB16_TO_BB15 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB16_TO_BB15"]; main_SWITCH_INT_FROM_BB16_TO_BB18 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB16_TO_BB18"]; main_SWITCH_INT_FROM_BB18_TO_BB13 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB18_TO_BB13"]; main_SWITCH_INT_FROM_BB18_TO_BB17 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB18_TO_BB17"]; main_UNWIND_14 [shape="box" xlabel="" label="main_UNWIND_14"]; main__closure_0__DROP_20 [shape="box" xlabel="" label="main__closure_0__DROP_20"]; main__closure_0__DROP_23 [shape="box" xlabel="" label="main__closure_0__DROP_23"]; main__closure_0__DROP_25 [shape="box" xlabel="" label="main__closure_0__DROP_25"]; main__closure_0__DROP_6 [shape="box" xlabel="" label="main__closure_0__DROP_6"]; main__closure_0__DROP_UNWIND_20 [shape="box" xlabel="" label="main__closure_0__DROP_UNWIND_20"]; main__closure_0__GOTO_1 [shape="box" xlabel="" label="main__closure_0__GOTO_1"]; main__closure_0__GOTO_14 [shape="box" xlabel="" label="main__closure_0__GOTO_14"]; main__closure_0__GOTO_21 [shape="box" xlabel="" label="main__closure_0__GOTO_21"]; main__closure_0__GOTO_9 [shape="box" xlabel="" label="main__closure_0__GOTO_9"]; main__closure_0__RETURN [shape="box" xlabel="" label="main__closure_0__RETURN"]; main__closure_0__SWITCH_INT_FROM_BB11_TO_BB12 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB11_TO_BB12"]; main__closure_0__SWITCH_INT_FROM_BB11_TO_BB15 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB11_TO_BB15"]; main__closure_0__SWITCH_INT_FROM_BB26_TO_BB23 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB26_TO_BB23"]; main__closure_0__SWITCH_INT_FROM_BB26_TO_BB25 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB26_TO_BB25"]; main__closure_0__SWITCH_INT_FROM_BB3_TO_BB4 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB3_TO_BB4"]; main__closure_0__SWITCH_INT_FROM_BB3_TO_BB5 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB3_TO_BB5"]; main__closure_0__SWITCH_INT_FROM_BB3_TO_BB6 [shape="box" xlabel="" label="main__closure_0__SWITCH_INT_FROM_BB3_TO_BB6"]; main__closure_0__UNREACHABLE_4 [shape="box" xlabel="" label="main__closure_0__UNREACHABLE_4"]; main__closure_0__UNWIND_24 [shape="box" xlabel="" label="main__closure_0__UNWIND_24"]; main__closure_1__DROP_16 [shape="box" xlabel="" label="main__closure_1__DROP_16"]; main__closure_1__DROP_18 [shape="box" xlabel="" label="main__closure_1__DROP_18"]; main__closure_1__DROP_20 [shape="box" xlabel="" label="main__closure_1__DROP_20"]; main__closure_1__DROP_UNWIND_16 [shape="box" xlabel="" label="main__closure_1__DROP_UNWIND_16"]; main__closure_1__GOTO_0 [shape="box" xlabel="" label="main__closure_1__GOTO_0"]; main__closure_1__GOTO_17 [shape="box" xlabel="" label="main__closure_1__GOTO_17"]; main__closure_1__GOTO_4 [shape="box" xlabel="" label="main__closure_1__GOTO_4"]; main__closure_1__GOTO_9 [shape="box" xlabel="" label="main__closure_1__GOTO_9"]; main__closure_1__SWITCH_INT_FROM_BB21_TO_BB18 [shape="box" xlabel="" label="main__closure_1__SWITCH_INT_FROM_BB21_TO_BB18"]; main__closure_1__SWITCH_INT_FROM_BB21_TO_BB20 [shape="box" xlabel="" label="main__closure_1__SWITCH_INT_FROM_BB21_TO_BB20"]; main__closure_1__SWITCH_INT_FROM_BB6_TO_BB10 [shape="box" xlabel="" label="main__closure_1__SWITCH_INT_FROM_BB6_TO_BB10"]; main__closure_1__SWITCH_INT_FROM_BB6_TO_BB7 [shape="box" xlabel="" label="main__closure_1__SWITCH_INT_FROM_BB6_TO_BB7"]; main__closure_1__UNWIND_19 [shape="box" xlabel="" label="main__closure_1__UNWIND_19"]; std_clone_Clone_clone_0_CALL [shape="box" xlabel="" label="std_clone_Clone_clone_0_CALL"]; std_clone_Clone_clone_0_CALL_UNWIND [shape="box" xlabel="" label="std_clone_Clone_clone_0_CALL_UNWIND"]; std_clone_Clone_clone_1_CALL [shape="box" xlabel="" label="std_clone_Clone_clone_1_CALL"]; std_clone_Clone_clone_1_CALL_UNWIND [shape="box" xlabel="" label="std_clone_Clone_clone_1_CALL_UNWIND"]; std_fmt_Arguments_a_new_v1_0_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_0_CALL"]; std_fmt_Arguments_a_new_v1_0_CALL_UNWIND [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_0_CALL_UNWIND"]; std_fmt_Arguments_a_new_v1_1_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_1_CALL"]; std_fmt_Arguments_a_new_v1_1_CALL_UNWIND [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_1_CALL_UNWIND"]; std_io__print_0_CALL [shape="box" xlabel="" label="std_io__print_0_CALL"]; std_io__print_0_CALL_UNWIND [shape="box" xlabel="" label="std_io__print_0_CALL_UNWIND"]; std_io__print_1_CALL [shape="box" xlabel="" label="std_io__print_1_CALL"]; std_io__print_1_CALL_UNWIND [shape="box" xlabel="" label="std_io__print_1_CALL_UNWIND"]; std_iter_IntoIterator_into_iter_0_CALL [shape="box" xlabel="" label="std_iter_IntoIterator_into_iter_0_CALL"]; std_iter_IntoIterator_into_iter_0_CALL_UNWIND [shape="box" xlabel="" label="std_iter_IntoIterator_into_iter_0_CALL_UNWIND"]; std_iter_Iterator_next_0_CALL [shape="box" xlabel="" label="std_iter_Iterator_next_0_CALL"]; std_iter_Iterator_next_0_CALL_UNWIND [shape="box" xlabel="" label="std_iter_Iterator_next_0_CALL_UNWIND"]; std_ops_DerefMut_deref_mut_0_CALL [shape="box" xlabel="" label="std_ops_DerefMut_deref_mut_0_CALL"]; std_ops_DerefMut_deref_mut_1_CALL [shape="box" xlabel="" label="std_ops_DerefMut_deref_mut_1_CALL"]; std_ops_Deref_deref_0_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_0_CALL"]; std_ops_Deref_deref_1_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_1_CALL"]; std_ops_Deref_deref_2_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_2_CALL"]; std_ops_Deref_deref_3_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_3_CALL"]; std_ops_Deref_deref_4_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_4_CALL"]; std_result_Result_unwrap_0_CALL [shape="box" xlabel="" label="std_result_Result_unwrap_0_CALL"]; std_result_Result_unwrap_1_CALL [shape="box" xlabel="" label="std_result_Result_unwrap_1_CALL"]; std_result_Result_unwrap_2_CALL [shape="box" xlabel="" label="std_result_Result_unwrap_2_CALL"]; std_result_Result_unwrap_3_CALL [shape="box" xlabel="" label="std_result_Result_unwrap_3_CALL"]; std_sync_Arc_T_new_0_CALL [shape="box" xlabel="" label="std_sync_Arc_T_new_0_CALL"]; std_sync_Condvar_new_0_CALL [shape="box" xlabel="" label="std_sync_Condvar_new_0_CALL"]; std_sync_Condvar_new_1_CALL [shape="box" xlabel="" label="std_sync_Condvar_new_1_CALL"]; std_sync_Condvar_notify_one_0_CALL [shape="box" xlabel="" label="std_sync_Condvar_notify_one_0_CALL"]; std_sync_Condvar_notify_one_1_CALL [shape="box" xlabel="" label="std_sync_Condvar_notify_one_1_CALL"]; std_sync_Mutex_T_lock_0_CALL [shape="box" xlabel="" label="std_sync_Mutex_T_lock_0_CALL"]; std_sync_Mutex_T_lock_1_CALL [shape="box" xlabel="" label="std_sync_Mutex_T_lock_1_CALL"]; std_sync_Mutex_T_new_0_CALL [shape="box" xlabel="" label="std_sync_Mutex_T_new_0_CALL"]; std_thread_spawn_0_CALL [shape="box" xlabel="" label="std_thread_spawn_0_CALL"]; std_thread_spawn_0_CALL_UNWIND [shape="box" xlabel="" label="std_thread_spawn_0_CALL_UNWIND"]; std_thread_spawn_1_CALL [shape="box" xlabel="" label="std_thread_spawn_1_CALL"]; std_thread_spawn_1_CALL_UNWIND [shape="box" xlabel="" label="std_thread_spawn_1_CALL_UNWIND"]; CONDVAR_0_NOTIFY -> CONDVAR_0_LOST_SIGNAL; CONDVAR_0_NOTIFY -> CONDVAR_0_NOTIFY_RECEIVED; CONDVAR_0_WAIT_ENABLED -> CONDVAR_0_LOST_SIGNAL; CONDVAR_0_WAIT_ENABLED -> CONDVAR_0_WAIT_START; CONDVAR_1_NOTIFY -> CONDVAR_1_LOST_SIGNAL; CONDVAR_1_NOTIFY -> CONDVAR_1_NOTIFY_RECEIVED; CONDVAR_1_WAIT_ENABLED -> CONDVAR_1_LOST_SIGNAL; CONDVAR_1_WAIT_ENABLED -> CONDVAR_1_WAIT_START; MUTEX_0 -> CONDVAR_0_NOTIFY_RECEIVED; MUTEX_0 -> CONDVAR_1_NOTIFY_RECEIVED; MUTEX_0 -> std_sync_Mutex_T_lock_0_CALL; MUTEX_0 -> std_sync_Mutex_T_lock_1_CALL; MUTEX_0_CONDITION_NOT_SET -> CONDVAR_0_WAIT_START; MUTEX_0_CONDITION_NOT_SET -> std_ops_DerefMut_deref_mut_0_CALL; MUTEX_0_CONDITION_NOT_SET -> std_ops_DerefMut_deref_mut_1_CALL; MUTEX_0_CONDITION_SET -> CONDVAR_0_WAIT_SKIP; MUTEX_1_CONDITION_NOT_SET -> CONDVAR_1_WAIT_START; MUTEX_1_CONDITION_NOT_SET -> std_ops_DerefMut_deref_mut_0_CALL; MUTEX_1_CONDITION_NOT_SET -> std_ops_DerefMut_deref_mut_1_CALL; MUTEX_1_CONDITION_SET -> CONDVAR_1_WAIT_SKIP; PROGRAM_START -> std_sync_Mutex_T_new_0_CALL; THREAD_0_START -> std_iter_IntoIterator_into_iter_0_CALL; THREAD_0_START -> std_iter_IntoIterator_into_iter_0_CALL_UNWIND; THREAD_1_START -> main__closure_1__GOTO_0; main_BB1 -> std_sync_Condvar_new_0_CALL; main_BB10 -> main_DROP_10; main_BB11 -> main_RETURN; main_BB12 -> main_DROP_12; main_BB13 -> main_DROP_13; main_BB14 -> main_UNWIND_14; main_BB15 -> main_DROP_15; main_BB16 -> main_SWITCH_INT_FROM_BB16_TO_BB15; main_BB16 -> main_SWITCH_INT_FROM_BB16_TO_BB18; main_BB17 -> main_DROP_17; main_BB18 -> main_SWITCH_INT_FROM_BB18_TO_BB13; main_BB18 -> main_SWITCH_INT_FROM_BB18_TO_BB17; main_BB2 -> std_sync_Condvar_new_1_CALL; main_BB3 -> std_sync_Arc_T_new_0_CALL; main_BB4 -> std_clone_Clone_clone_0_CALL; main_BB4 -> std_clone_Clone_clone_0_CALL_UNWIND; main_BB5 -> std_clone_Clone_clone_1_CALL; main_BB5 -> std_clone_Clone_clone_1_CALL_UNWIND; main_BB6 -> std_thread_spawn_0_CALL; main_BB6 -> std_thread_spawn_0_CALL_UNWIND; main_BB7 -> std_thread_spawn_1_CALL; main_BB7 -> std_thread_spawn_1_CALL_UNWIND; main_BB8 -> main_DROP_8; main_BB8 -> main_DROP_UNWIND_8; main_BB9 -> main_DROP_9; main_BB9 -> main_DROP_UNWIND_9; main__closure_0__BB1 -> main__closure_0__GOTO_1; main__closure_0__BB10 -> std_ops_Deref_deref_1_CALL; main__closure_0__BB11 -> main__closure_0__SWITCH_INT_FROM_BB11_TO_BB12; main__closure_0__BB11 -> main__closure_0__SWITCH_INT_FROM_BB11_TO_BB15; main__closure_0__BB12 -> CONDVAR_0_WAIT_SKIP; main__closure_0__BB12 -> CONDVAR_0_WAIT_START; main__closure_0__BB13 -> std_result_Result_unwrap_1_CALL; main__closure_0__BB14 -> main__closure_0__GOTO_14; main__closure_0__BB15 -> std_ops_DerefMut_deref_mut_0_CALL; main__closure_0__BB16 -> core_fmt_rt_Argument_a_new_display_0_CALL; main__closure_0__BB16 -> core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND; main__closure_0__BB17 -> std_fmt_Arguments_a_new_v1_0_CALL; main__closure_0__BB17 -> std_fmt_Arguments_a_new_v1_0_CALL_UNWIND; main__closure_0__BB18 -> std_io__print_0_CALL; main__closure_0__BB18 -> std_io__print_0_CALL_UNWIND; main__closure_0__BB19 -> std_sync_Condvar_notify_one_0_CALL; main__closure_0__BB2 -> std_iter_Iterator_next_0_CALL; main__closure_0__BB2 -> std_iter_Iterator_next_0_CALL_UNWIND; main__closure_0__BB20 -> main__closure_0__DROP_20; main__closure_0__BB20 -> main__closure_0__DROP_UNWIND_20; main__closure_0__BB21 -> main__closure_0__GOTO_21; main__closure_0__BB22 -> main__closure_0__RETURN; main__closure_0__BB23 -> main__closure_0__DROP_23; main__closure_0__BB24 -> main__closure_0__UNWIND_24; main__closure_0__BB25 -> main__closure_0__DROP_25; main__closure_0__BB26 -> main__closure_0__SWITCH_INT_FROM_BB26_TO_BB23; main__closure_0__BB26 -> main__closure_0__SWITCH_INT_FROM_BB26_TO_BB25; main__closure_0__BB3 -> main__closure_0__SWITCH_INT_FROM_BB3_TO_BB4; main__closure_0__BB3 -> main__closure_0__SWITCH_INT_FROM_BB3_TO_BB5; main__closure_0__BB3 -> main__closure_0__SWITCH_INT_FROM_BB3_TO_BB6; main__closure_0__BB4 -> main__closure_0__UNREACHABLE_4; main__closure_0__BB5 -> std_ops_Deref_deref_0_CALL; main__closure_0__BB6 -> main__closure_0__DROP_6; main__closure_0__BB7 -> std_sync_Mutex_T_lock_0_CALL; main__closure_0__BB8 -> std_result_Result_unwrap_0_CALL; main__closure_0__BB9 -> main__closure_0__GOTO_9; main__closure_1__BB1 -> std_ops_Deref_deref_2_CALL; main__closure_1__BB10 -> std_ops_Deref_deref_4_CALL; main__closure_1__BB11 -> std_ops_DerefMut_deref_mut_1_CALL; main__closure_1__BB12 -> core_fmt_rt_Argument_a_new_display_1_CALL; main__closure_1__BB12 -> core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND; main__closure_1__BB13 -> std_fmt_Arguments_a_new_v1_1_CALL; main__closure_1__BB13 -> std_fmt_Arguments_a_new_v1_1_CALL_UNWIND; main__closure_1__BB14 -> std_io__print_1_CALL; main__closure_1__BB14 -> std_io__print_1_CALL_UNWIND; main__closure_1__BB15 -> std_sync_Condvar_notify_one_1_CALL; main__closure_1__BB16 -> main__closure_1__DROP_16; main__closure_1__BB16 -> main__closure_1__DROP_UNWIND_16; main__closure_1__BB17 -> main__closure_1__GOTO_17; main__closure_1__BB18 -> main__closure_1__DROP_18; main__closure_1__BB19 -> main__closure_1__UNWIND_19; main__closure_1__BB2 -> std_sync_Mutex_T_lock_1_CALL; main__closure_1__BB20 -> main__closure_1__DROP_20; main__closure_1__BB21 -> main__closure_1__SWITCH_INT_FROM_BB21_TO_BB18; main__closure_1__BB21 -> main__closure_1__SWITCH_INT_FROM_BB21_TO_BB20; main__closure_1__BB3 -> std_result_Result_unwrap_2_CALL; main__closure_1__BB4 -> main__closure_1__GOTO_4; main__closure_1__BB5 -> std_ops_Deref_deref_3_CALL; main__closure_1__BB6 -> main__closure_1__SWITCH_INT_FROM_BB6_TO_BB10; main__closure_1__BB6 -> main__closure_1__SWITCH_INT_FROM_BB6_TO_BB7; main__closure_1__BB7 -> CONDVAR_1_WAIT_SKIP; main__closure_1__BB7 -> CONDVAR_1_WAIT_START; main__closure_1__BB8 -> std_result_Result_unwrap_3_CALL; main__closure_1__BB9 -> main__closure_1__GOTO_9; CONDVAR_0_LOST_SIGNAL -> CONDVAR_0_WAIT_ENABLED; CONDVAR_0_NOTIFY_RECEIVED -> CONDVAR_0_WAIT_ENABLED; CONDVAR_0_NOTIFY_RECEIVED -> main__closure_0__BB13; CONDVAR_0_WAIT_SKIP -> MUTEX_0_CONDITION_SET; CONDVAR_0_WAIT_SKIP -> main__closure_0__BB13; CONDVAR_0_WAIT_START -> MUTEX_0; CONDVAR_0_WAIT_START -> MUTEX_0_CONDITION_NOT_SET; CONDVAR_1_LOST_SIGNAL -> CONDVAR_1_WAIT_ENABLED; CONDVAR_1_NOTIFY_RECEIVED -> CONDVAR_1_WAIT_ENABLED; CONDVAR_1_NOTIFY_RECEIVED -> main__closure_1__BB8; CONDVAR_1_WAIT_SKIP -> MUTEX_1_CONDITION_SET; CONDVAR_1_WAIT_SKIP -> main__closure_1__BB8; CONDVAR_1_WAIT_START -> MUTEX_0; CONDVAR_1_WAIT_START -> MUTEX_1_CONDITION_NOT_SET; core_fmt_rt_Argument_a_new_display_0_CALL -> main__closure_0__BB17; core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND -> main__closure_0__BB26; core_fmt_rt_Argument_a_new_display_1_CALL -> main__closure_1__BB13; core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND -> main__closure_1__BB21; main_DROP_10 -> main_BB11; main_DROP_12 -> main_BB16; main_DROP_13 -> main_BB14; main_DROP_15 -> main_BB18; main_DROP_17 -> main_BB13; main_DROP_8 -> main_BB9; main_DROP_9 -> main_BB10; main_DROP_UNWIND_8 -> main_BB12; main_DROP_UNWIND_9 -> main_BB16; main_RETURN -> PROGRAM_END; main_SWITCH_INT_FROM_BB16_TO_BB15 -> main_BB15; main_SWITCH_INT_FROM_BB16_TO_BB18 -> main_BB18; main_SWITCH_INT_FROM_BB18_TO_BB13 -> main_BB13; main_SWITCH_INT_FROM_BB18_TO_BB17 -> main_BB17; main_UNWIND_14 -> PROGRAM_PANIC; main__closure_0__DROP_20 -> MUTEX_0; main__closure_0__DROP_20 -> main__closure_0__BB21; main__closure_0__DROP_23 -> main__closure_0__BB24; main__closure_0__DROP_25 -> MUTEX_0; main__closure_0__DROP_25 -> main__closure_0__BB23; main__closure_0__DROP_6 -> main__closure_0__BB22; main__closure_0__DROP_UNWIND_20 -> MUTEX_0; main__closure_0__DROP_UNWIND_20 -> main__closure_0__BB23; main__closure_0__GOTO_1 -> main__closure_0__BB2; main__closure_0__GOTO_14 -> main__closure_0__BB10; main__closure_0__GOTO_21 -> main__closure_0__BB2; main__closure_0__GOTO_9 -> main__closure_0__BB10; main__closure_0__RETURN -> THREAD_0_END; main__closure_0__SWITCH_INT_FROM_BB11_TO_BB12 -> main__closure_0__BB12; main__closure_0__SWITCH_INT_FROM_BB11_TO_BB15 -> main__closure_0__BB15; main__closure_0__SWITCH_INT_FROM_BB26_TO_BB23 -> main__closure_0__BB23; main__closure_0__SWITCH_INT_FROM_BB26_TO_BB25 -> main__closure_0__BB25; main__closure_0__SWITCH_INT_FROM_BB3_TO_BB4 -> main__closure_0__BB4; main__closure_0__SWITCH_INT_FROM_BB3_TO_BB5 -> main__closure_0__BB5; main__closure_0__SWITCH_INT_FROM_BB3_TO_BB6 -> main__closure_0__BB6; main__closure_0__UNREACHABLE_4 -> PROGRAM_END; main__closure_0__UNWIND_24 -> THREAD_0_END; main__closure_1__DROP_16 -> MUTEX_0; main__closure_1__DROP_16 -> main__closure_1__BB17; main__closure_1__DROP_18 -> main__closure_1__BB19; main__closure_1__DROP_20 -> MUTEX_0; main__closure_1__DROP_20 -> main__closure_1__BB18; main__closure_1__DROP_UNWIND_16 -> MUTEX_0; main__closure_1__DROP_UNWIND_16 -> main__closure_1__BB18; main__closure_1__GOTO_0 -> main__closure_1__BB1; main__closure_1__GOTO_17 -> main__closure_1__BB1; main__closure_1__GOTO_4 -> main__closure_1__BB5; main__closure_1__GOTO_9 -> main__closure_1__BB5; main__closure_1__SWITCH_INT_FROM_BB21_TO_BB18 -> main__closure_1__BB18; main__closure_1__SWITCH_INT_FROM_BB21_TO_BB20 -> main__closure_1__BB20; main__closure_1__SWITCH_INT_FROM_BB6_TO_BB10 -> main__closure_1__BB10; main__closure_1__SWITCH_INT_FROM_BB6_TO_BB7 -> main__closure_1__BB7; main__closure_1__UNWIND_19 -> THREAD_1_END; std_clone_Clone_clone_0_CALL -> main_BB5; std_clone_Clone_clone_0_CALL_UNWIND -> main_BB13; std_clone_Clone_clone_1_CALL -> main_BB6; std_clone_Clone_clone_1_CALL_UNWIND -> main_BB18; std_fmt_Arguments_a_new_v1_0_CALL -> main__closure_0__BB18; std_fmt_Arguments_a_new_v1_0_CALL_UNWIND -> main__closure_0__BB26; std_fmt_Arguments_a_new_v1_1_CALL -> main__closure_1__BB14; std_fmt_Arguments_a_new_v1_1_CALL_UNWIND -> main__closure_1__BB21; std_io__print_0_CALL -> main__closure_0__BB19; std_io__print_0_CALL_UNWIND -> main__closure_0__BB26; std_io__print_1_CALL -> main__closure_1__BB15; std_io__print_1_CALL_UNWIND -> main__closure_1__BB21; std_iter_IntoIterator_into_iter_0_CALL -> main__closure_0__BB1; std_iter_IntoIterator_into_iter_0_CALL_UNWIND -> main__closure_0__BB23; std_iter_Iterator_next_0_CALL -> main__closure_0__BB3; std_iter_Iterator_next_0_CALL_UNWIND -> main__closure_0__BB23; std_ops_DerefMut_deref_mut_0_CALL -> MUTEX_0_CONDITION_SET; std_ops_DerefMut_deref_mut_0_CALL -> MUTEX_1_CONDITION_SET; std_ops_DerefMut_deref_mut_0_CALL -> main__closure_0__BB16; std_ops_DerefMut_deref_mut_1_CALL -> MUTEX_0_CONDITION_SET; std_ops_DerefMut_deref_mut_1_CALL -> MUTEX_1_CONDITION_SET; std_ops_DerefMut_deref_mut_1_CALL -> main__closure_1__BB12; std_ops_Deref_deref_0_CALL -> main__closure_0__BB7; std_ops_Deref_deref_1_CALL -> main__closure_0__BB11; std_ops_Deref_deref_2_CALL -> main__closure_1__BB2; std_ops_Deref_deref_3_CALL -> main__closure_1__BB6; std_ops_Deref_deref_4_CALL -> main__closure_1__BB11; std_result_Result_unwrap_0_CALL -> main__closure_0__BB9; std_result_Result_unwrap_1_CALL -> main__closure_0__BB14; std_result_Result_unwrap_2_CALL -> main__closure_1__BB4; std_result_Result_unwrap_3_CALL -> main__closure_1__BB9; std_sync_Arc_T_new_0_CALL -> main_BB4; std_sync_Condvar_new_0_CALL -> main_BB2; std_sync_Condvar_new_1_CALL -> main_BB3; std_sync_Condvar_notify_one_0_CALL -> CONDVAR_1_NOTIFY; std_sync_Condvar_notify_one_0_CALL -> main__closure_0__BB20; std_sync_Condvar_notify_one_1_CALL -> CONDVAR_0_NOTIFY; std_sync_Condvar_notify_one_1_CALL -> main__closure_1__BB16; std_sync_Mutex_T_lock_0_CALL -> main__closure_0__BB8; std_sync_Mutex_T_lock_1_CALL -> main__closure_1__BB3; std_sync_Mutex_T_new_0_CALL -> main_BB1; std_thread_spawn_0_CALL -> THREAD_0_START; std_thread_spawn_0_CALL -> main_BB7; std_thread_spawn_0_CALL_UNWIND -> main_BB16; std_thread_spawn_1_CALL -> THREAD_1_START; std_thread_spawn_1_CALL -> main_BB8; std_thread_spawn_1_CALL_UNWIND -> main_BB12; }