MUTEX_0 1 MUTEX_1 1 PROGRAM_END PROGRAM_PANIC PROGRAM_START 1 first_deadlock_0_BB1 first_deadlock_0_BB2 first_deadlock_0_BB3 first_deadlock_0_BB4 first_deadlock_0_BB5 first_deadlock_0_BB6 first_deadlock_0_BB7 main_BB1 main_BB2 second_deadlock_0_BB1 second_deadlock_0_BB2 second_deadlock_0_BB3 second_deadlock_0_BB4 second_deadlock_0_BB5 second_deadlock_0_BB6 second_deadlock_0_BB7 first_deadlock_0_DROP_3 first_deadlock_0_DROP_4 first_deadlock_0_DROP_6 first_deadlock_0_DROP_UNWIND_3 first_deadlock_0_RETURN first_deadlock_0_UNWIND_7 main_RETURN second_deadlock_0_DROP_3 second_deadlock_0_DROP_4 second_deadlock_0_DROP_6 second_deadlock_0_DROP_UNWIND_3 second_deadlock_0_RETURN second_deadlock_0_UNWIND_7 std_sync_Mutex_T_lock_0_CALL std_sync_Mutex_T_lock_1_CALL std_sync_Mutex_T_lock_2_CALL std_sync_Mutex_T_lock_3_CALL std_sync_Mutex_T_new_0_CALL std_sync_Mutex_T_new_1_CALL (MUTEX_0, std_sync_Mutex_T_lock_0_CALL) 1 (MUTEX_0, std_sync_Mutex_T_lock_1_CALL) 1 (MUTEX_1, std_sync_Mutex_T_lock_2_CALL) 1 (MUTEX_1, std_sync_Mutex_T_lock_3_CALL) 1 (PROGRAM_START, std_sync_Mutex_T_new_0_CALL) 1 (first_deadlock_0_BB1, std_sync_Mutex_T_lock_0_CALL) 1 (first_deadlock_0_BB2, std_sync_Mutex_T_lock_1_CALL) 1 (first_deadlock_0_BB3, first_deadlock_0_DROP_3) 1 (first_deadlock_0_BB3, first_deadlock_0_DROP_UNWIND_3) 1 (first_deadlock_0_BB4, first_deadlock_0_DROP_4) 1 (first_deadlock_0_BB5, first_deadlock_0_RETURN) 1 (first_deadlock_0_BB6, first_deadlock_0_DROP_6) 1 (first_deadlock_0_BB7, first_deadlock_0_UNWIND_7) 1 (main_BB1, std_sync_Mutex_T_new_1_CALL) 1 (main_BB2, main_RETURN) 1 (second_deadlock_0_BB1, std_sync_Mutex_T_lock_2_CALL) 1 (second_deadlock_0_BB2, std_sync_Mutex_T_lock_3_CALL) 1 (second_deadlock_0_BB3, second_deadlock_0_DROP_3) 1 (second_deadlock_0_BB3, second_deadlock_0_DROP_UNWIND_3) 1 (second_deadlock_0_BB4, second_deadlock_0_DROP_4) 1 (second_deadlock_0_BB5, second_deadlock_0_RETURN) 1 (second_deadlock_0_BB6, second_deadlock_0_DROP_6) 1 (second_deadlock_0_BB7, second_deadlock_0_UNWIND_7) 1 (first_deadlock_0_DROP_3, MUTEX_0) 1 (first_deadlock_0_DROP_3, first_deadlock_0_BB4) 1 (first_deadlock_0_DROP_4, MUTEX_0) 1 (first_deadlock_0_DROP_4, first_deadlock_0_BB5) 1 (first_deadlock_0_DROP_6, MUTEX_0) 1 (first_deadlock_0_DROP_6, first_deadlock_0_BB7) 1 (first_deadlock_0_DROP_UNWIND_3, MUTEX_0) 1 (first_deadlock_0_DROP_UNWIND_3, first_deadlock_0_BB6) 1 (first_deadlock_0_RETURN, main_BB1) 1 (first_deadlock_0_UNWIND_7, PROGRAM_PANIC) 1 (main_RETURN, PROGRAM_END) 1 (second_deadlock_0_DROP_3, MUTEX_1) 1 (second_deadlock_0_DROP_3, second_deadlock_0_BB4) 1 (second_deadlock_0_DROP_4, MUTEX_1) 1 (second_deadlock_0_DROP_4, second_deadlock_0_BB5) 1 (second_deadlock_0_DROP_6, MUTEX_1) 1 (second_deadlock_0_DROP_6, second_deadlock_0_BB7) 1 (second_deadlock_0_DROP_UNWIND_3, MUTEX_1) 1 (second_deadlock_0_DROP_UNWIND_3, second_deadlock_0_BB6) 1 (second_deadlock_0_RETURN, main_BB2) 1 (second_deadlock_0_UNWIND_7, PROGRAM_PANIC) 1 (std_sync_Mutex_T_lock_0_CALL, first_deadlock_0_BB2) 1 (std_sync_Mutex_T_lock_1_CALL, first_deadlock_0_BB3) 1 (std_sync_Mutex_T_lock_2_CALL, second_deadlock_0_BB2) 1 (std_sync_Mutex_T_lock_3_CALL, second_deadlock_0_BB3) 1 (std_sync_Mutex_T_new_0_CALL, first_deadlock_0_BB1) 1 (std_sync_Mutex_T_new_1_CALL, second_deadlock_0_BB1) 1