digraph petrinet {
    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_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=""];
    call_0_RETURN [shape="box" xlabel="" label="call_0_RETURN"];
    main_GOTO_1 [shape="box" xlabel="" label="main_GOTO_1"];
    main_RETURN [shape="box" xlabel="" label="main_RETURN"];
    main_SWITCH_INT_FROM_BB3_TO_BB4 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB3_TO_BB4"];
    main_SWITCH_INT_FROM_BB3_TO_BB5 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB3_TO_BB5"];
    main_SWITCH_INT_FROM_BB3_TO_BB6 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB3_TO_BB6"];
    main_UNREACHABLE_4 [shape="box" xlabel="" label="main_UNREACHABLE_4"];
    std_iter_IntoIterator_into_iter_0_CALL [shape="box" xlabel="" label="std_iter_IntoIterator_into_iter_0_CALL"];
    std_iter_Iterator_next_0_CALL [shape="box" xlabel="" label="std_iter_Iterator_next_0_CALL"];
    PROGRAM_START -> std_iter_IntoIterator_into_iter_0_CALL;
    main_BB1 -> main_GOTO_1;
    main_BB2 -> std_iter_Iterator_next_0_CALL;
    main_BB3 -> main_SWITCH_INT_FROM_BB3_TO_BB4;
    main_BB3 -> main_SWITCH_INT_FROM_BB3_TO_BB5;
    main_BB3 -> main_SWITCH_INT_FROM_BB3_TO_BB6;
    main_BB4 -> main_UNREACHABLE_4;
    main_BB5 -> call_0_RETURN;
    main_BB6 -> main_RETURN;
    call_0_RETURN -> main_BB2;
    main_GOTO_1 -> main_BB2;
    main_RETURN -> PROGRAM_END;
    main_SWITCH_INT_FROM_BB3_TO_BB4 -> main_BB4;
    main_SWITCH_INT_FROM_BB3_TO_BB5 -> main_BB5;
    main_SWITCH_INT_FROM_BB3_TO_BB6 -> main_BB6;
    main_UNREACHABLE_4 -> PROGRAM_END;
    std_iter_IntoIterator_into_iter_0_CALL -> main_BB1;
    std_iter_Iterator_next_0_CALL -> main_BB3;
}