digraph cfg {
39718128[shape = box, label = "0x25e0cf0\n"];
39718128 -> 42724336[label = "0"];
42503440[shape = box, label = "0x2888d10\n"];
42503440 -> 38972336[label = "0"];
42724336[shape = box, label = "0x28bebf0\n"];
42724336 -> 38958240[label = "0"];
42724336 -> 42503440[label = "1"];
38958240[shape = box, label = "0x25274a0\n"];
38958240 -> 40713328[label = "0"];
38972336[shape = box, label = "0x252abb0\n"];
38972336 -> 39718128[label = "0"];
40713328[shape = box, label = "EXIT"];
38966592[shape = box, label = "0x2529540\n"];
38966592 -> 42724336[label = "0"];
43519712[shape = box, label = "ENTER"];
43519712 -> 38966592[label = "0"];
}