digraph petrinet {
    CONDVAR_0_NOTIFY [shape="circle" xlabel="CONDVAR_0_NOTIFY" label=""];
    CONDVAR_0_WAIT_ENABLED [shape="circle" xlabel="CONDVAR_0_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=""];
    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=""];
    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_BB19 [shape="circle" xlabel="main_BB19" label=""];
    main_BB2 [shape="circle" xlabel="main_BB2" label=""];
    main_BB20 [shape="circle" xlabel="main_BB20" label=""];
    main_BB21 [shape="circle" xlabel="main_BB21" 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__BB2 [shape="circle" xlabel="main__closure_0__BB2" 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=""];
    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"];
    main_DROP_12 [shape="box" xlabel="" label="main_DROP_12"];
    main_DROP_16 [shape="box" xlabel="" label="main_DROP_16"];
    main_DROP_18 [shape="box" xlabel="" label="main_DROP_18"];
    main_DROP_20 [shape="box" xlabel="" label="main_DROP_20"];
    main_DROP_5 [shape="box" xlabel="" label="main_DROP_5"];
    main_DROP_UNWIND_12 [shape="box" xlabel="" label="main_DROP_UNWIND_12"];
    main_DROP_UNWIND_5 [shape="box" xlabel="" label="main_DROP_UNWIND_5"];
    main_GOTO_15 [shape="box" xlabel="" label="main_GOTO_15"];
    main_GOTO_9 [shape="box" xlabel="" label="main_GOTO_9"];
    main_RETURN [shape="box" xlabel="" label="main_RETURN"];
    main_SWITCH_INT_FROM_BB11_TO_BB12 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB11_TO_BB12"];
    main_SWITCH_INT_FROM_BB11_TO_BB13 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB11_TO_BB13"];
    main_SWITCH_INT_FROM_BB21_TO_BB18 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB21_TO_BB18"];
    main_SWITCH_INT_FROM_BB21_TO_BB20 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB21_TO_BB20"];
    main_UNWIND_19 [shape="box" xlabel="" label="main_UNWIND_19"];
    main__closure_0__DROP_5 [shape="box" xlabel="" label="main__closure_0__DROP_5"];
    main__closure_0__DROP_6 [shape="box" xlabel="" label="main__closure_0__DROP_6"];
    main__closure_0__DROP_8 [shape="box" xlabel="" label="main__closure_0__DROP_8"];
    main__closure_0__DROP_9 [shape="box" xlabel="" label="main__closure_0__DROP_9"];
    main__closure_0__DROP_UNWIND_5 [shape="box" xlabel="" label="main__closure_0__DROP_UNWIND_5"];
    main__closure_0__RETURN [shape="box" xlabel="" label="main__closure_0__RETURN"];
    main__closure_0__UNWIND_10 [shape="box" xlabel="" label="main__closure_0__UNWIND_10"];
    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_ops_DerefMut_deref_mut_0_CALL [shape="box" xlabel="" label="std_ops_DerefMut_deref_mut_0_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_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_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_notify_one_0_CALL [shape="box" xlabel="" label="std_sync_Condvar_notify_one_0_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"];
    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;
    MUTEX_0 -> CONDVAR_0_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_SET -> CONDVAR_0_WAIT_SKIP;
    PROGRAM_START -> std_sync_Mutex_T_new_0_CALL;
    THREAD_0_START -> std_ops_Deref_deref_2_CALL;
    main_BB1 -> std_sync_Condvar_new_0_CALL;
    main_BB10 -> std_ops_Deref_deref_1_CALL;
    main_BB11 -> main_SWITCH_INT_FROM_BB11_TO_BB12;
    main_BB11 -> main_SWITCH_INT_FROM_BB11_TO_BB13;
    main_BB12 -> main_DROP_12;
    main_BB12 -> main_DROP_UNWIND_12;
    main_BB13 -> CONDVAR_0_WAIT_SKIP;
    main_BB13 -> CONDVAR_0_WAIT_START;
    main_BB14 -> std_result_Result_unwrap_1_CALL;
    main_BB15 -> main_GOTO_15;
    main_BB16 -> main_DROP_16;
    main_BB17 -> main_RETURN;
    main_BB18 -> main_DROP_18;
    main_BB19 -> main_UNWIND_19;
    main_BB2 -> std_sync_Arc_T_new_0_CALL;
    main_BB20 -> main_DROP_20;
    main_BB21 -> main_SWITCH_INT_FROM_BB21_TO_BB18;
    main_BB21 -> main_SWITCH_INT_FROM_BB21_TO_BB20;
    main_BB3 -> std_clone_Clone_clone_0_CALL;
    main_BB3 -> std_clone_Clone_clone_0_CALL_UNWIND;
    main_BB4 -> std_thread_spawn_0_CALL;
    main_BB4 -> std_thread_spawn_0_CALL_UNWIND;
    main_BB5 -> main_DROP_5;
    main_BB5 -> main_DROP_UNWIND_5;
    main_BB6 -> std_ops_Deref_deref_0_CALL;
    main_BB7 -> std_sync_Mutex_T_lock_0_CALL;
    main_BB8 -> std_result_Result_unwrap_0_CALL;
    main_BB9 -> main_GOTO_9;
    main__closure_0__BB1 -> std_sync_Mutex_T_lock_1_CALL;
    main__closure_0__BB10 -> main__closure_0__UNWIND_10;
    main__closure_0__BB2 -> std_result_Result_unwrap_2_CALL;
    main__closure_0__BB3 -> std_ops_DerefMut_deref_mut_0_CALL;
    main__closure_0__BB4 -> std_sync_Condvar_notify_one_0_CALL;
    main__closure_0__BB5 -> main__closure_0__DROP_5;
    main__closure_0__BB5 -> main__closure_0__DROP_UNWIND_5;
    main__closure_0__BB6 -> main__closure_0__DROP_6;
    main__closure_0__BB7 -> main__closure_0__RETURN;
    main__closure_0__BB8 -> main__closure_0__DROP_8;
    main__closure_0__BB9 -> main__closure_0__DROP_9;
    CONDVAR_0_LOST_SIGNAL -> CONDVAR_0_WAIT_ENABLED;
    CONDVAR_0_NOTIFY_RECEIVED -> CONDVAR_0_WAIT_ENABLED;
    CONDVAR_0_NOTIFY_RECEIVED -> main_BB14;
    CONDVAR_0_WAIT_SKIP -> MUTEX_0_CONDITION_SET;
    CONDVAR_0_WAIT_SKIP -> main_BB14;
    CONDVAR_0_WAIT_START -> MUTEX_0;
    CONDVAR_0_WAIT_START -> MUTEX_0_CONDITION_NOT_SET;
    main_DROP_12 -> MUTEX_0;
    main_DROP_12 -> main_BB16;
    main_DROP_16 -> main_BB17;
    main_DROP_18 -> main_BB19;
    main_DROP_20 -> MUTEX_0;
    main_DROP_20 -> main_BB18;
    main_DROP_5 -> main_BB6;
    main_DROP_UNWIND_12 -> MUTEX_0;
    main_DROP_UNWIND_12 -> main_BB18;
    main_DROP_UNWIND_5 -> main_BB18;
    main_GOTO_15 -> main_BB10;
    main_GOTO_9 -> main_BB10;
    main_RETURN -> PROGRAM_END;
    main_SWITCH_INT_FROM_BB11_TO_BB12 -> main_BB12;
    main_SWITCH_INT_FROM_BB11_TO_BB13 -> main_BB13;
    main_SWITCH_INT_FROM_BB21_TO_BB18 -> main_BB18;
    main_SWITCH_INT_FROM_BB21_TO_BB20 -> main_BB20;
    main_UNWIND_19 -> PROGRAM_PANIC;
    main__closure_0__DROP_5 -> MUTEX_0;
    main__closure_0__DROP_5 -> main__closure_0__BB6;
    main__closure_0__DROP_6 -> main__closure_0__BB7;
    main__closure_0__DROP_8 -> MUTEX_0;
    main__closure_0__DROP_8 -> main__closure_0__BB9;
    main__closure_0__DROP_9 -> main__closure_0__BB10;
    main__closure_0__DROP_UNWIND_5 -> MUTEX_0;
    main__closure_0__DROP_UNWIND_5 -> main__closure_0__BB9;
    main__closure_0__RETURN -> THREAD_0_END;
    main__closure_0__UNWIND_10 -> THREAD_0_END;
    std_clone_Clone_clone_0_CALL -> main_BB4;
    std_clone_Clone_clone_0_CALL_UNWIND -> main_BB18;
    std_ops_DerefMut_deref_mut_0_CALL -> MUTEX_0_CONDITION_SET;
    std_ops_DerefMut_deref_mut_0_CALL -> main__closure_0__BB4;
    std_ops_Deref_deref_0_CALL -> main_BB7;
    std_ops_Deref_deref_1_CALL -> main_BB11;
    std_ops_Deref_deref_2_CALL -> main__closure_0__BB1;
    std_result_Result_unwrap_0_CALL -> main_BB9;
    std_result_Result_unwrap_1_CALL -> main_BB15;
    std_result_Result_unwrap_2_CALL -> main__closure_0__BB3;
    std_sync_Arc_T_new_0_CALL -> main_BB3;
    std_sync_Condvar_new_0_CALL -> main_BB2;
    std_sync_Condvar_notify_one_0_CALL -> CONDVAR_0_NOTIFY;
    std_sync_Condvar_notify_one_0_CALL -> main__closure_0__BB5;
    std_sync_Mutex_T_lock_0_CALL -> main_BB8;
    std_sync_Mutex_T_lock_1_CALL -> main__closure_0__BB2;
    std_sync_Mutex_T_new_0_CALL -> main_BB1;
    std_thread_spawn_0_CALL -> THREAD_0_START;
    std_thread_spawn_0_CALL -> main_BB5;
    std_thread_spawn_0_CALL_UNWIND -> main_BB18;
}