MUTEX_0 1 PROGRAM_END PROGRAM_PANIC PROGRAM_START 1 THREAD_0_END THREAD_0_START main_BB1 main_BB10 main_BB11 main_BB12 main_BB13 main_BB14 main_BB2 main_BB3 main_BB4 main_BB5 main_BB6 main_BB7 main_BB8 main_BB9 main__closure_0__BB1 main__closure_0__BB2 main__closure_0__BB3 main__closure_0__BB4 main__closure_0__BB5 main__closure_0__BB6 main_DROP_11 main_DROP_13 main_DROP_8 main_DROP_9 main_DROP_UNWIND_8 main_RETURN main_SWITCH_INT_FROM_BB14_TO_BB11 main_SWITCH_INT_FROM_BB14_TO_BB13 main_UNWIND_12 main__closure_0__DROP_2 main__closure_0__DROP_3 main__closure_0__DROP_5 main__closure_0__DROP_UNWIND_2 main__closure_0__RETURN main__closure_0__UNWIND_6 std_clone_Clone_clone_0_CALL std_clone_Clone_clone_0_CALL_UNWIND std_mem_drop_0_CALL std_mem_drop_0_CALL_UNWIND std_ops_Deref_deref_0_CALL std_ops_Deref_deref_1_CALL std_sync_Arc_T_new_0_CALL std_sync_Mutex_T_lock_0_CALL std_sync_Mutex_T_lock_1_CALL std_sync_Mutex_T_new_0_CALL std_thread_JoinHandle_T_join_0_CALL std_thread_spawn_0_CALL std_thread_spawn_0_CALL_UNWIND (MUTEX_0, std_sync_Mutex_T_lock_0_CALL) 1 (MUTEX_0, std_sync_Mutex_T_lock_1_CALL) 1 (PROGRAM_START, std_sync_Mutex_T_new_0_CALL) 1 (THREAD_0_END, std_thread_JoinHandle_T_join_0_CALL) 1 (THREAD_0_START, std_ops_Deref_deref_1_CALL) 1 (main_BB1, std_sync_Arc_T_new_0_CALL) 1 (main_BB10, main_RETURN) 1 (main_BB11, main_DROP_11) 1 (main_BB12, main_UNWIND_12) 1 (main_BB13, main_DROP_13) 1 (main_BB14, main_SWITCH_INT_FROM_BB14_TO_BB11) 1 (main_BB14, main_SWITCH_INT_FROM_BB14_TO_BB13) 1 (main_BB2, std_clone_Clone_clone_0_CALL) 1 (main_BB2, std_clone_Clone_clone_0_CALL_UNWIND) 1 (main_BB3, std_thread_spawn_0_CALL) 1 (main_BB3, std_thread_spawn_0_CALL_UNWIND) 1 (main_BB4, std_ops_Deref_deref_0_CALL) 1 (main_BB5, std_sync_Mutex_T_lock_0_CALL) 1 (main_BB6, std_mem_drop_0_CALL) 1 (main_BB6, std_mem_drop_0_CALL_UNWIND) 1 (main_BB7, std_thread_JoinHandle_T_join_0_CALL) 1 (main_BB8, main_DROP_8) 1 (main_BB8, main_DROP_UNWIND_8) 1 (main_BB9, main_DROP_9) 1 (main__closure_0__BB1, std_sync_Mutex_T_lock_1_CALL) 1 (main__closure_0__BB2, main__closure_0__DROP_2) 1 (main__closure_0__BB2, main__closure_0__DROP_UNWIND_2) 1 (main__closure_0__BB3, main__closure_0__DROP_3) 1 (main__closure_0__BB4, main__closure_0__RETURN) 1 (main__closure_0__BB5, main__closure_0__DROP_5) 1 (main__closure_0__BB6, main__closure_0__UNWIND_6) 1 (main_DROP_11, main_BB12) 1 (main_DROP_13, main_BB11) 1 (main_DROP_8, main_BB9) 1 (main_DROP_9, main_BB10) 1 (main_DROP_UNWIND_8, main_BB14) 1 (main_RETURN, PROGRAM_END) 1 (main_SWITCH_INT_FROM_BB14_TO_BB11, main_BB11) 1 (main_SWITCH_INT_FROM_BB14_TO_BB13, main_BB13) 1 (main_UNWIND_12, PROGRAM_PANIC) 1 (main__closure_0__DROP_2, MUTEX_0) 1 (main__closure_0__DROP_2, main__closure_0__BB3) 1 (main__closure_0__DROP_3, main__closure_0__BB4) 1 (main__closure_0__DROP_5, main__closure_0__BB6) 1 (main__closure_0__DROP_UNWIND_2, MUTEX_0) 1 (main__closure_0__DROP_UNWIND_2, main__closure_0__BB5) 1 (main__closure_0__RETURN, THREAD_0_END) 1 (main__closure_0__UNWIND_6, THREAD_0_END) 1 (std_clone_Clone_clone_0_CALL, main_BB3) 1 (std_clone_Clone_clone_0_CALL_UNWIND, main_BB11) 1 (std_mem_drop_0_CALL, MUTEX_0) 1 (std_mem_drop_0_CALL, main_BB7) 1 (std_mem_drop_0_CALL_UNWIND, MUTEX_0) 1 (std_mem_drop_0_CALL_UNWIND, main_BB14) 1 (std_ops_Deref_deref_0_CALL, main_BB5) 1 (std_ops_Deref_deref_1_CALL, main__closure_0__BB1) 1 (std_sync_Arc_T_new_0_CALL, main_BB2) 1 (std_sync_Mutex_T_lock_0_CALL, main_BB6) 1 (std_sync_Mutex_T_lock_1_CALL, main__closure_0__BB2) 1 (std_sync_Mutex_T_new_0_CALL, main_BB1) 1 (std_thread_JoinHandle_T_join_0_CALL, main_BB8) 1 (std_thread_spawn_0_CALL, THREAD_0_START) 1 (std_thread_spawn_0_CALL, main_BB4) 1 (std_thread_spawn_0_CALL_UNWIND, main_BB11) 1