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="•"];
    find_even_0_BB1 [shape="circle" xlabel="find_even_0_BB1" label=""];
    find_even_0_BB10 [shape="circle" xlabel="find_even_0_BB10" label=""];
    find_even_0_BB2 [shape="circle" xlabel="find_even_0_BB2" label=""];
    find_even_0_BB3 [shape="circle" xlabel="find_even_0_BB3" label=""];
    find_even_0_BB4 [shape="circle" xlabel="find_even_0_BB4" label=""];
    find_even_0_BB5 [shape="circle" xlabel="find_even_0_BB5" label=""];
    find_even_0_BB6 [shape="circle" xlabel="find_even_0_BB6" label=""];
    find_even_0_BB7 [shape="circle" xlabel="find_even_0_BB7" label=""];
    find_even_0_BB8 [shape="circle" xlabel="find_even_0_BB8" label=""];
    find_even_0_BB9 [shape="circle" xlabel="find_even_0_BB9" 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_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=""];
    alloc_alloc_exchange_malloc_0_CALL [shape="box" xlabel="" label="alloc_alloc_exchange_malloc_0_CALL"];
    core_fmt_rt_Argument_a_new_display_0_CALL [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_0_CALL"];
    core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND"];
    find_even_0_ASSERT_5 [shape="box" xlabel="" label="find_even_0_ASSERT_5"];
    find_even_0_ASSERT_7 [shape="box" xlabel="" label="find_even_0_ASSERT_7"];
    find_even_0_CALL_UNWIND [shape="box" xlabel="" label="find_even_0_CALL_UNWIND"];
    find_even_0_GOTO_1 [shape="box" xlabel="" label="find_even_0_GOTO_1"];
    find_even_0_GOTO_6 [shape="box" xlabel="" label="find_even_0_GOTO_6"];
    find_even_0_GOTO_9 [shape="box" xlabel="" label="find_even_0_GOTO_9"];
    find_even_0_RETURN [shape="box" xlabel="" label="find_even_0_RETURN"];
    find_even_0_SWITCH_INT_FROM_BB3_TO_BB4 [shape="box" xlabel="" label="find_even_0_SWITCH_INT_FROM_BB3_TO_BB4"];
    find_even_0_SWITCH_INT_FROM_BB3_TO_BB5 [shape="box" xlabel="" label="find_even_0_SWITCH_INT_FROM_BB3_TO_BB5"];
    find_even_0_SWITCH_INT_FROM_BB3_TO_BB6 [shape="box" xlabel="" label="find_even_0_SWITCH_INT_FROM_BB3_TO_BB6"];
    find_even_0_SWITCH_INT_FROM_BB8_TO_BB2 [shape="box" xlabel="" label="find_even_0_SWITCH_INT_FROM_BB8_TO_BB2"];
    find_even_0_SWITCH_INT_FROM_BB8_TO_BB9 [shape="box" xlabel="" label="find_even_0_SWITCH_INT_FROM_BB8_TO_BB9"];
    find_even_0_UNREACHABLE_4 [shape="box" xlabel="" label="find_even_0_UNREACHABLE_4"];
    main_ASSERT_1 [shape="box" xlabel="" label="main_ASSERT_1"];
    main_DROP_10 [shape="box" xlabel="" label="main_DROP_10"];
    main_DROP_12 [shape="box" xlabel="" label="main_DROP_12"];
    main_GOTO_16 [shape="box" xlabel="" label="main_GOTO_16"];
    main_GOTO_17 [shape="box" xlabel="" label="main_GOTO_17"];
    main_RETURN [shape="box" xlabel="" label="main_RETURN"];
    main_SWITCH_INT_FROM_BB4_TO_BB15 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB4_TO_BB15"];
    main_SWITCH_INT_FROM_BB4_TO_BB5 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB4_TO_BB5"];
    main_SWITCH_INT_FROM_BB4_TO_BB8 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB4_TO_BB8"];
    main_UNREACHABLE_1 [shape="box" xlabel="" label="main_UNREACHABLE_1"];
    main_UNREACHABLE_15 [shape="box" xlabel="" label="main_UNREACHABLE_15"];
    main_UNWIND_13 [shape="box" xlabel="" label="main_UNWIND_13"];
    std_fmt_Arguments_a_new_const_0_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_const_0_CALL"];
    std_fmt_Arguments_a_new_const_0_CALL_UNWIND [shape="box" xlabel="" label="std_fmt_Arguments_a_new_const_0_CALL_UNWIND"];
    std_fmt_Arguments_a_new_v1_0_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_0_CALL"];
    std_fmt_Arguments_a_new_v1_0_CALL_UNWIND [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_0_CALL_UNWIND"];
    std_io__print_0_CALL [shape="box" xlabel="" label="std_io__print_0_CALL"];
    std_io__print_0_CALL_UNWIND [shape="box" xlabel="" label="std_io__print_0_CALL_UNWIND"];
    std_io__print_1_CALL [shape="box" xlabel="" label="std_io__print_1_CALL"];
    std_io__print_1_CALL_UNWIND [shape="box" xlabel="" label="std_io__print_1_CALL_UNWIND"];
    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"];
    std_ops_Deref_deref_0_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_0_CALL"];
    std_ops_Deref_deref_0_CALL_UNWIND [shape="box" xlabel="" label="std_ops_Deref_deref_0_CALL_UNWIND"];
    std_slice__impl_T__into_vec_0_CALL [shape="box" xlabel="" label="std_slice__impl_T__into_vec_0_CALL"];
    PROGRAM_START -> alloc_alloc_exchange_malloc_0_CALL;
    find_even_0_BB1 -> find_even_0_GOTO_1;
    find_even_0_BB10 -> find_even_0_RETURN;
    find_even_0_BB2 -> std_iter_Iterator_next_0_CALL;
    find_even_0_BB3 -> find_even_0_SWITCH_INT_FROM_BB3_TO_BB4;
    find_even_0_BB3 -> find_even_0_SWITCH_INT_FROM_BB3_TO_BB5;
    find_even_0_BB3 -> find_even_0_SWITCH_INT_FROM_BB3_TO_BB6;
    find_even_0_BB4 -> find_even_0_UNREACHABLE_4;
    find_even_0_BB5 -> find_even_0_ASSERT_5;
    find_even_0_BB6 -> find_even_0_GOTO_6;
    find_even_0_BB7 -> find_even_0_ASSERT_7;
    find_even_0_BB8 -> find_even_0_SWITCH_INT_FROM_BB8_TO_BB2;
    find_even_0_BB8 -> find_even_0_SWITCH_INT_FROM_BB8_TO_BB9;
    find_even_0_BB9 -> find_even_0_GOTO_9;
    main_BB1 -> main_ASSERT_1;
    main_BB1 -> main_UNREACHABLE_1;
    main_BB10 -> main_DROP_10;
    main_BB11 -> main_RETURN;
    main_BB12 -> main_DROP_12;
    main_BB13 -> main_UNWIND_13;
    main_BB14 -> std_slice__impl_T__into_vec_0_CALL;
    main_BB15 -> main_UNREACHABLE_15;
    main_BB16 -> main_GOTO_16;
    main_BB17 -> main_GOTO_17;
    main_BB2 -> std_ops_Deref_deref_0_CALL;
    main_BB2 -> std_ops_Deref_deref_0_CALL_UNWIND;
    main_BB3 -> find_even_0_CALL_UNWIND;
    main_BB3 -> std_iter_IntoIterator_into_iter_0_CALL;
    main_BB4 -> main_SWITCH_INT_FROM_BB4_TO_BB15;
    main_BB4 -> main_SWITCH_INT_FROM_BB4_TO_BB5;
    main_BB4 -> main_SWITCH_INT_FROM_BB4_TO_BB8;
    main_BB5 -> core_fmt_rt_Argument_a_new_display_0_CALL;
    main_BB5 -> core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND;
    main_BB6 -> std_fmt_Arguments_a_new_v1_0_CALL;
    main_BB6 -> std_fmt_Arguments_a_new_v1_0_CALL_UNWIND;
    main_BB7 -> std_io__print_0_CALL;
    main_BB7 -> std_io__print_0_CALL_UNWIND;
    main_BB8 -> std_fmt_Arguments_a_new_const_0_CALL;
    main_BB8 -> std_fmt_Arguments_a_new_const_0_CALL_UNWIND;
    main_BB9 -> std_io__print_1_CALL;
    main_BB9 -> std_io__print_1_CALL_UNWIND;
    alloc_alloc_exchange_malloc_0_CALL -> main_BB1;
    core_fmt_rt_Argument_a_new_display_0_CALL -> main_BB6;
    core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND -> main_BB12;
    find_even_0_ASSERT_5 -> find_even_0_BB7;
    find_even_0_ASSERT_7 -> find_even_0_BB8;
    find_even_0_CALL_UNWIND -> main_BB12;
    find_even_0_GOTO_1 -> find_even_0_BB2;
    find_even_0_GOTO_6 -> find_even_0_BB10;
    find_even_0_GOTO_9 -> find_even_0_BB10;
    find_even_0_RETURN -> main_BB4;
    find_even_0_SWITCH_INT_FROM_BB3_TO_BB4 -> find_even_0_BB4;
    find_even_0_SWITCH_INT_FROM_BB3_TO_BB5 -> find_even_0_BB5;
    find_even_0_SWITCH_INT_FROM_BB3_TO_BB6 -> find_even_0_BB6;
    find_even_0_SWITCH_INT_FROM_BB8_TO_BB2 -> find_even_0_BB2;
    find_even_0_SWITCH_INT_FROM_BB8_TO_BB9 -> find_even_0_BB9;
    find_even_0_UNREACHABLE_4 -> PROGRAM_END;
    main_ASSERT_1 -> main_BB14;
    main_DROP_10 -> main_BB11;
    main_DROP_12 -> main_BB13;
    main_GOTO_16 -> main_BB10;
    main_GOTO_17 -> main_BB10;
    main_RETURN -> PROGRAM_END;
    main_SWITCH_INT_FROM_BB4_TO_BB15 -> main_BB15;
    main_SWITCH_INT_FROM_BB4_TO_BB5 -> main_BB5;
    main_SWITCH_INT_FROM_BB4_TO_BB8 -> main_BB8;
    main_UNREACHABLE_1 -> PROGRAM_END;
    main_UNREACHABLE_15 -> PROGRAM_END;
    main_UNWIND_13 -> PROGRAM_PANIC;
    std_fmt_Arguments_a_new_const_0_CALL -> main_BB9;
    std_fmt_Arguments_a_new_const_0_CALL_UNWIND -> main_BB12;
    std_fmt_Arguments_a_new_v1_0_CALL -> main_BB7;
    std_fmt_Arguments_a_new_v1_0_CALL_UNWIND -> main_BB12;
    std_io__print_0_CALL -> main_BB16;
    std_io__print_0_CALL_UNWIND -> main_BB12;
    std_io__print_1_CALL -> main_BB17;
    std_io__print_1_CALL_UNWIND -> main_BB12;
    std_iter_IntoIterator_into_iter_0_CALL -> find_even_0_BB1;
    std_iter_Iterator_next_0_CALL -> find_even_0_BB3;
    std_ops_Deref_deref_0_CALL -> main_BB3;
    std_ops_Deref_deref_0_CALL_UNWIND -> main_BB12;
    std_slice__impl_T__into_vec_0_CALL -> main_BB2;
}