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_RETURN [shape="box" xlabel="" label="main_RETURN"];
    std_fmt_Arguments_a_new_const_0_CALL [shape="box" xlabel="" label="std_fmt_Arguments_a_new_const_0_CALL"];
    std_io__print_0_CALL [shape="box" xlabel="" label="std_io__print_0_CALL"];
    PROGRAM_START -> std_fmt_Arguments_a_new_const_0_CALL;
    main_BB1 -> std_io__print_0_CALL;
    main_BB2 -> main_RETURN;
    main_RETURN -> PROGRAM_END;
    std_fmt_Arguments_a_new_const_0_CALL -> main_BB1;
    std_io__print_0_CALL -> main_BB2;
}