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="•"];
    PROGRAM_END [shape="circle" xlabel="PROGRAM_END" label=""];
    PROGRAM_PANIC [shape="circle" xlabel="PROGRAM_PANIC" label=""];
    PROGRAM_START [shape="circle" xlabel="PROGRAM_START" label="•"];
    main_BB1 [shape="circle" xlabel="main_BB1" label=""];
    main_BB10 [shape="circle" xlabel="main_BB10" 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=""];
    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_START [shape="box" xlabel="" label="CONDVAR_0_WAIT_START"];
    main_DROP_6 [shape="box" xlabel="" label="main_DROP_6"];
    main_DROP_9 [shape="box" xlabel="" label="main_DROP_9"];
    main_DROP_UNWIND_6 [shape="box" xlabel="" label="main_DROP_UNWIND_6"];
    main_RETURN [shape="box" xlabel="" label="main_RETURN"];
    main_SWITCH_INT_FROM_BB10_TO_BB8 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB10_TO_BB8"];
    main_SWITCH_INT_FROM_BB10_TO_BB9 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB10_TO_BB9"];
    main_UNWIND_8 [shape="box" xlabel="" label="main_UNWIND_8"];
    std_result_Result_unwrap_0_CALL [shape="box" xlabel="" label="std_result_Result_unwrap_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_new_0_CALL [shape="box" xlabel="" label="std_sync_Mutex_T_new_0_CALL"];
    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;
    PROGRAM_START -> std_sync_Mutex_T_new_0_CALL;
    main_BB1 -> std_sync_Condvar_new_0_CALL;
    main_BB10 -> main_SWITCH_INT_FROM_BB10_TO_BB8;
    main_BB10 -> main_SWITCH_INT_FROM_BB10_TO_BB9;
    main_BB2 -> std_sync_Mutex_T_lock_0_CALL;
    main_BB3 -> std_result_Result_unwrap_0_CALL;
    main_BB4 -> std_sync_Condvar_notify_one_0_CALL;
    main_BB5 -> CONDVAR_0_WAIT_START;
    main_BB6 -> main_DROP_6;
    main_BB6 -> main_DROP_UNWIND_6;
    main_BB7 -> main_RETURN;
    main_BB8 -> main_UNWIND_8;
    main_BB9 -> main_DROP_9;
    CONDVAR_0_LOST_SIGNAL -> CONDVAR_0_WAIT_ENABLED;
    CONDVAR_0_NOTIFY_RECEIVED -> CONDVAR_0_WAIT_ENABLED;
    CONDVAR_0_NOTIFY_RECEIVED -> main_BB6;
    CONDVAR_0_WAIT_START -> MUTEX_0;
    main_DROP_6 -> MUTEX_0;
    main_DROP_6 -> main_BB7;
    main_DROP_9 -> MUTEX_0;
    main_DROP_9 -> main_BB8;
    main_DROP_UNWIND_6 -> MUTEX_0;
    main_DROP_UNWIND_6 -> main_BB10;
    main_RETURN -> PROGRAM_END;
    main_SWITCH_INT_FROM_BB10_TO_BB8 -> main_BB8;
    main_SWITCH_INT_FROM_BB10_TO_BB9 -> main_BB9;
    main_UNWIND_8 -> PROGRAM_PANIC;
    std_result_Result_unwrap_0_CALL -> main_BB4;
    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_BB5;
    std_sync_Mutex_T_lock_0_CALL -> main_BB3;
    std_sync_Mutex_T_new_0_CALL -> main_BB1;
}