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_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_BB22 [shape="circle" xlabel="main_BB22" label=""];
    main_BB23 [shape="circle" xlabel="main_BB23" label=""];
    main_BB24 [shape="circle" xlabel="main_BB24" label=""];
    main_BB25 [shape="circle" xlabel="main_BB25" label=""];
    main_BB26 [shape="circle" xlabel="main_BB26" label=""];
    main_BB27 [shape="circle" xlabel="main_BB27" label=""];
    main_BB28 [shape="circle" xlabel="main_BB28" label=""];
    main_BB29 [shape="circle" xlabel="main_BB29" label=""];
    main_BB3 [shape="circle" xlabel="main_BB3" label=""];
    main_BB30 [shape="circle" xlabel="main_BB30" label=""];
    main_BB31 [shape="circle" xlabel="main_BB31" label=""];
    main_BB32 [shape="circle" xlabel="main_BB32" label=""];
    main_BB33 [shape="circle" xlabel="main_BB33" label=""];
    main_BB34 [shape="circle" xlabel="main_BB34" label=""];
    main_BB35 [shape="circle" xlabel="main_BB35" label=""];
    main_BB36 [shape="circle" xlabel="main_BB36" label=""];
    main_BB37 [shape="circle" xlabel="main_BB37" label=""];
    main_BB38 [shape="circle" xlabel="main_BB38" label=""];
    main_BB39 [shape="circle" xlabel="main_BB39" label=""];
    main_BB4 [shape="circle" xlabel="main_BB4" label=""];
    main_BB40 [shape="circle" xlabel="main_BB40" label=""];
    main_BB41 [shape="circle" xlabel="main_BB41" 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=""];
    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"];
    core_fmt_rt_Argument_a_new_display_1_CALL [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_1_CALL"];
    core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND"];
    core_fmt_rt_Argument_a_new_display_2_CALL [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_2_CALL"];
    core_fmt_rt_Argument_a_new_display_2_CALL_UNWIND [shape="box" xlabel="" label="core_fmt_rt_Argument_a_new_display_2_CALL_UNWIND"];
    core_str__impl_str__parse_0_CALL [shape="box" xlabel="" label="core_str__impl_str__parse_0_CALL"];
    core_str__impl_str__parse_0_CALL_UNWIND [shape="box" xlabel="" label="core_str__impl_str__parse_0_CALL_UNWIND"];
    core_str__impl_str__parse_1_CALL [shape="box" xlabel="" label="core_str__impl_str__parse_1_CALL"];
    core_str__impl_str__parse_1_CALL_UNWIND [shape="box" xlabel="" label="core_str__impl_str__parse_1_CALL_UNWIND"];
    main_DROP_38 [shape="box" xlabel="" label="main_DROP_38"];
    main_DROP_40 [shape="box" xlabel="" label="main_DROP_40"];
    main_GOTO_21 [shape="box" xlabel="" label="main_GOTO_21"];
    main_GOTO_23 [shape="box" xlabel="" label="main_GOTO_23"];
    main_GOTO_25 [shape="box" xlabel="" label="main_GOTO_25"];
    main_GOTO_27 [shape="box" xlabel="" label="main_GOTO_27"];
    main_RETURN [shape="box" xlabel="" label="main_RETURN"];
    main_SWITCH_INT_FROM_BB28_TO_BB20 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB28_TO_BB20"];
    main_SWITCH_INT_FROM_BB28_TO_BB27 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB28_TO_BB27"];
    main_SWITCH_INT_FROM_BB29_TO_BB25 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB29_TO_BB25"];
    main_SWITCH_INT_FROM_BB29_TO_BB26 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB29_TO_BB26"];
    main_SWITCH_INT_FROM_BB30_TO_BB23 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB30_TO_BB23"];
    main_SWITCH_INT_FROM_BB30_TO_BB24 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB30_TO_BB24"];
    main_SWITCH_INT_FROM_BB31_TO_BB21 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB31_TO_BB21"];
    main_SWITCH_INT_FROM_BB31_TO_BB22 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB31_TO_BB22"];
    main_SWITCH_INT_FROM_BB3_TO_BB4 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB3_TO_BB4"];
    main_SWITCH_INT_FROM_BB3_TO_BB9 [shape="box" xlabel="" label="main_SWITCH_INT_FROM_BB3_TO_BB9"];
    main_UNWIND_41 [shape="box" xlabel="" label="main_UNWIND_41"];
    std_cmp_PartialEq_eq_0_CALL [shape="box" xlabel="" label="std_cmp_PartialEq_eq_0_CALL"];
    std_cmp_PartialEq_eq_0_CALL_UNWIND [shape="box" xlabel="" label="std_cmp_PartialEq_eq_0_CALL_UNWIND"];
    std_cmp_PartialEq_eq_1_CALL [shape="box" xlabel="" label="std_cmp_PartialEq_eq_1_CALL"];
    std_cmp_PartialEq_eq_1_CALL_UNWIND [shape="box" xlabel="" label="std_cmp_PartialEq_eq_1_CALL_UNWIND"];
    std_cmp_PartialEq_eq_2_CALL [shape="box" xlabel="" label="std_cmp_PartialEq_eq_2_CALL"];
    std_cmp_PartialEq_eq_2_CALL_UNWIND [shape="box" xlabel="" label="std_cmp_PartialEq_eq_2_CALL_UNWIND"];
    std_cmp_PartialEq_eq_3_CALL [shape="box" xlabel="" label="std_cmp_PartialEq_eq_3_CALL"];
    std_cmp_PartialEq_eq_3_CALL_UNWIND [shape="box" xlabel="" label="std_cmp_PartialEq_eq_3_CALL_UNWIND"];
    std_env_args_0_CALL [shape="box" xlabel="" label="std_env_args_0_CALL"];
    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_fmt_Arguments_a_new_v1_1_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_1_CALL"];
    std_fmt_Arguments_a_new_v1_1_CALL_UNWIND [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_1_CALL_UNWIND"];
    std_fmt_Arguments_a_new_v1_2_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_2_CALL"];
    std_fmt_Arguments_a_new_v1_2_CALL_UNWIND [shape="box" xlabel="" label="std_fmt_Arguments_a_new_v1_2_CALL_UNWIND"];
    std_io__eprint_0_CALL [shape="box" xlabel="" label="std_io__eprint_0_CALL"];
    std_io__eprint_0_CALL_UNWIND [shape="box" xlabel="" label="std_io__eprint_0_CALL_UNWIND"];
    std_io__eprint_1_CALL [shape="box" xlabel="" label="std_io__eprint_1_CALL"];
    std_io__eprint_1_CALL_UNWIND [shape="box" xlabel="" label="std_io__eprint_1_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_iter_Iterator_collect_0_CALL [shape="box" xlabel="" label="std_iter_Iterator_collect_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_ops_Deref_deref_1_CALL [shape="box" xlabel="" label="std_ops_Deref_deref_1_CALL"];
    std_ops_Deref_deref_1_CALL_UNWIND [shape="box" xlabel="" label="std_ops_Deref_deref_1_CALL_UNWIND"];
    std_ops_Index_index_0_CALL [shape="box" xlabel="" label="std_ops_Index_index_0_CALL"];
    std_ops_Index_index_0_CALL_UNWIND [shape="box" xlabel="" label="std_ops_Index_index_0_CALL_UNWIND"];
    std_ops_Index_index_1_CALL [shape="box" xlabel="" label="std_ops_Index_index_1_CALL"];
    std_ops_Index_index_1_CALL_UNWIND [shape="box" xlabel="" label="std_ops_Index_index_1_CALL_UNWIND"];
    std_ops_Index_index_2_CALL [shape="box" xlabel="" label="std_ops_Index_index_2_CALL"];
    std_ops_Index_index_2_CALL_UNWIND [shape="box" xlabel="" label="std_ops_Index_index_2_CALL_UNWIND"];
    std_ops_Index_index_3_CALL [shape="box" xlabel="" label="std_ops_Index_index_3_CALL"];
    std_ops_Index_index_3_CALL_UNWIND [shape="box" xlabel="" label="std_ops_Index_index_3_CALL_UNWIND"];
    std_process_exit_0_CALL [shape="box" xlabel="" label="std_process_exit_0_CALL"];
    std_process_exit_1_CALL [shape="box" xlabel="" label="std_process_exit_1_CALL"];
    std_result_Result_expect_0_CALL [shape="box" xlabel="" label="std_result_Result_expect_0_CALL"];
    std_result_Result_expect_0_CALL_UNWIND [shape="box" xlabel="" label="std_result_Result_expect_0_CALL_UNWIND"];
    std_result_Result_expect_1_CALL [shape="box" xlabel="" label="std_result_Result_expect_1_CALL"];
    std_result_Result_expect_1_CALL_UNWIND [shape="box" xlabel="" label="std_result_Result_expect_1_CALL_UNWIND"];
    std_string_String_as_str_0_CALL [shape="box" xlabel="" label="std_string_String_as_str_0_CALL"];
    std_string_String_as_str_0_CALL_UNWIND [shape="box" xlabel="" label="std_string_String_as_str_0_CALL_UNWIND"];
    std_vec_Vec_T_A_len_0_CALL [shape="box" xlabel="" label="std_vec_Vec_T_A_len_0_CALL"];
    std_vec_Vec_T_A_len_0_CALL_UNWIND [shape="box" xlabel="" label="std_vec_Vec_T_A_len_0_CALL_UNWIND"];
    PROGRAM_START -> std_env_args_0_CALL;
    main_BB1 -> std_iter_Iterator_collect_0_CALL;
    main_BB10 -> std_ops_Deref_deref_0_CALL;
    main_BB10 -> std_ops_Deref_deref_0_CALL_UNWIND;
    main_BB11 -> core_str__impl_str__parse_0_CALL;
    main_BB11 -> core_str__impl_str__parse_0_CALL_UNWIND;
    main_BB12 -> std_result_Result_expect_0_CALL;
    main_BB12 -> std_result_Result_expect_0_CALL_UNWIND;
    main_BB13 -> std_ops_Index_index_2_CALL;
    main_BB13 -> std_ops_Index_index_2_CALL_UNWIND;
    main_BB14 -> std_ops_Deref_deref_1_CALL;
    main_BB14 -> std_ops_Deref_deref_1_CALL_UNWIND;
    main_BB15 -> core_str__impl_str__parse_1_CALL;
    main_BB15 -> core_str__impl_str__parse_1_CALL_UNWIND;
    main_BB16 -> std_result_Result_expect_1_CALL;
    main_BB16 -> std_result_Result_expect_1_CALL_UNWIND;
    main_BB17 -> std_ops_Index_index_3_CALL;
    main_BB17 -> std_ops_Index_index_3_CALL_UNWIND;
    main_BB18 -> std_string_String_as_str_0_CALL;
    main_BB18 -> std_string_String_as_str_0_CALL_UNWIND;
    main_BB19 -> std_cmp_PartialEq_eq_0_CALL;
    main_BB19 -> std_cmp_PartialEq_eq_0_CALL_UNWIND;
    main_BB2 -> std_vec_Vec_T_A_len_0_CALL;
    main_BB2 -> std_vec_Vec_T_A_len_0_CALL_UNWIND;
    main_BB20 -> core_fmt_rt_Argument_a_new_display_1_CALL;
    main_BB20 -> core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND;
    main_BB21 -> main_GOTO_21;
    main_BB22 -> std_cmp_PartialEq_eq_1_CALL;
    main_BB22 -> std_cmp_PartialEq_eq_1_CALL_UNWIND;
    main_BB23 -> main_GOTO_23;
    main_BB24 -> std_cmp_PartialEq_eq_2_CALL;
    main_BB24 -> std_cmp_PartialEq_eq_2_CALL_UNWIND;
    main_BB25 -> main_GOTO_25;
    main_BB26 -> std_cmp_PartialEq_eq_3_CALL;
    main_BB26 -> std_cmp_PartialEq_eq_3_CALL_UNWIND;
    main_BB27 -> main_GOTO_27;
    main_BB28 -> main_SWITCH_INT_FROM_BB28_TO_BB20;
    main_BB28 -> main_SWITCH_INT_FROM_BB28_TO_BB27;
    main_BB29 -> main_SWITCH_INT_FROM_BB29_TO_BB25;
    main_BB29 -> main_SWITCH_INT_FROM_BB29_TO_BB26;
    main_BB3 -> main_SWITCH_INT_FROM_BB3_TO_BB4;
    main_BB3 -> main_SWITCH_INT_FROM_BB3_TO_BB9;
    main_BB30 -> main_SWITCH_INT_FROM_BB30_TO_BB23;
    main_BB30 -> main_SWITCH_INT_FROM_BB30_TO_BB24;
    main_BB31 -> main_SWITCH_INT_FROM_BB31_TO_BB21;
    main_BB31 -> main_SWITCH_INT_FROM_BB31_TO_BB22;
    main_BB32 -> std_fmt_Arguments_a_new_v1_1_CALL;
    main_BB32 -> std_fmt_Arguments_a_new_v1_1_CALL_UNWIND;
    main_BB33 -> std_io__eprint_1_CALL;
    main_BB33 -> std_io__eprint_1_CALL_UNWIND;
    main_BB34 -> std_process_exit_1_CALL;
    main_BB35 -> core_fmt_rt_Argument_a_new_display_2_CALL;
    main_BB35 -> core_fmt_rt_Argument_a_new_display_2_CALL_UNWIND;
    main_BB36 -> std_fmt_Arguments_a_new_v1_2_CALL;
    main_BB36 -> std_fmt_Arguments_a_new_v1_2_CALL_UNWIND;
    main_BB37 -> std_io__print_0_CALL;
    main_BB37 -> std_io__print_0_CALL_UNWIND;
    main_BB38 -> main_DROP_38;
    main_BB39 -> main_RETURN;
    main_BB4 -> std_ops_Index_index_0_CALL;
    main_BB4 -> std_ops_Index_index_0_CALL_UNWIND;
    main_BB40 -> main_DROP_40;
    main_BB41 -> main_UNWIND_41;
    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__eprint_0_CALL;
    main_BB7 -> std_io__eprint_0_CALL_UNWIND;
    main_BB8 -> std_process_exit_0_CALL;
    main_BB9 -> std_ops_Index_index_1_CALL;
    main_BB9 -> std_ops_Index_index_1_CALL_UNWIND;
    core_fmt_rt_Argument_a_new_display_0_CALL -> main_BB6;
    core_fmt_rt_Argument_a_new_display_0_CALL_UNWIND -> main_BB40;
    core_fmt_rt_Argument_a_new_display_1_CALL -> main_BB32;
    core_fmt_rt_Argument_a_new_display_1_CALL_UNWIND -> main_BB40;
    core_fmt_rt_Argument_a_new_display_2_CALL -> main_BB36;
    core_fmt_rt_Argument_a_new_display_2_CALL_UNWIND -> main_BB40;
    core_str__impl_str__parse_0_CALL -> main_BB12;
    core_str__impl_str__parse_0_CALL_UNWIND -> main_BB40;
    core_str__impl_str__parse_1_CALL -> main_BB16;
    core_str__impl_str__parse_1_CALL_UNWIND -> main_BB40;
    main_DROP_38 -> main_BB39;
    main_DROP_40 -> main_BB41;
    main_GOTO_21 -> main_BB35;
    main_GOTO_23 -> main_BB35;
    main_GOTO_25 -> main_BB35;
    main_GOTO_27 -> main_BB35;
    main_RETURN -> PROGRAM_END;
    main_SWITCH_INT_FROM_BB28_TO_BB20 -> main_BB20;
    main_SWITCH_INT_FROM_BB28_TO_BB27 -> main_BB27;
    main_SWITCH_INT_FROM_BB29_TO_BB25 -> main_BB25;
    main_SWITCH_INT_FROM_BB29_TO_BB26 -> main_BB26;
    main_SWITCH_INT_FROM_BB30_TO_BB23 -> main_BB23;
    main_SWITCH_INT_FROM_BB30_TO_BB24 -> main_BB24;
    main_SWITCH_INT_FROM_BB31_TO_BB21 -> main_BB21;
    main_SWITCH_INT_FROM_BB31_TO_BB22 -> main_BB22;
    main_SWITCH_INT_FROM_BB3_TO_BB4 -> main_BB4;
    main_SWITCH_INT_FROM_BB3_TO_BB9 -> main_BB9;
    main_UNWIND_41 -> PROGRAM_PANIC;
    std_cmp_PartialEq_eq_0_CALL -> main_BB31;
    std_cmp_PartialEq_eq_0_CALL_UNWIND -> main_BB40;
    std_cmp_PartialEq_eq_1_CALL -> main_BB30;
    std_cmp_PartialEq_eq_1_CALL_UNWIND -> main_BB40;
    std_cmp_PartialEq_eq_2_CALL -> main_BB29;
    std_cmp_PartialEq_eq_2_CALL_UNWIND -> main_BB40;
    std_cmp_PartialEq_eq_3_CALL -> main_BB28;
    std_cmp_PartialEq_eq_3_CALL_UNWIND -> main_BB40;
    std_env_args_0_CALL -> main_BB1;
    std_fmt_Arguments_a_new_v1_0_CALL -> main_BB7;
    std_fmt_Arguments_a_new_v1_0_CALL_UNWIND -> main_BB40;
    std_fmt_Arguments_a_new_v1_1_CALL -> main_BB33;
    std_fmt_Arguments_a_new_v1_1_CALL_UNWIND -> main_BB40;
    std_fmt_Arguments_a_new_v1_2_CALL -> main_BB37;
    std_fmt_Arguments_a_new_v1_2_CALL_UNWIND -> main_BB40;
    std_io__eprint_0_CALL -> main_BB8;
    std_io__eprint_0_CALL_UNWIND -> main_BB40;
    std_io__eprint_1_CALL -> main_BB34;
    std_io__eprint_1_CALL_UNWIND -> main_BB40;
    std_io__print_0_CALL -> main_BB38;
    std_io__print_0_CALL_UNWIND -> main_BB40;
    std_iter_Iterator_collect_0_CALL -> main_BB2;
    std_ops_Deref_deref_0_CALL -> main_BB11;
    std_ops_Deref_deref_0_CALL_UNWIND -> main_BB40;
    std_ops_Deref_deref_1_CALL -> main_BB15;
    std_ops_Deref_deref_1_CALL_UNWIND -> main_BB40;
    std_ops_Index_index_0_CALL -> main_BB5;
    std_ops_Index_index_0_CALL_UNWIND -> main_BB40;
    std_ops_Index_index_1_CALL -> main_BB10;
    std_ops_Index_index_1_CALL_UNWIND -> main_BB40;
    std_ops_Index_index_2_CALL -> main_BB14;
    std_ops_Index_index_2_CALL_UNWIND -> main_BB40;
    std_ops_Index_index_3_CALL -> main_BB18;
    std_ops_Index_index_3_CALL_UNWIND -> main_BB40;
    std_process_exit_0_CALL -> main_BB40;
    std_process_exit_1_CALL -> main_BB40;
    std_result_Result_expect_0_CALL -> main_BB13;
    std_result_Result_expect_0_CALL_UNWIND -> main_BB40;
    std_result_Result_expect_1_CALL -> main_BB17;
    std_result_Result_expect_1_CALL_UNWIND -> main_BB40;
    std_string_String_as_str_0_CALL -> main_BB19;
    std_string_String_as_str_0_CALL_UNWIND -> main_BB40;
    std_vec_Vec_T_A_len_0_CALL -> main_BB3;
    std_vec_Vec_T_A_len_0_CALL_UNWIND -> main_BB40;
}