digraph cfg {
20548432[shape = box, label = "0x1398b50\n"];
20548432 -> 21360368[label = "0"];
20548432 -> 20548688[label = "1"];
20548688[shape = box, label = "0x1398c50\n"];
20548688 -> 20608656[label = "0"];
26276608[shape = box, label = "0x190f300\n"];
26276608 -> 24106720[label = "0"];
20614320[shape = box, label = "0x13a8cb0\n"];
20614320 -> 26276608[label = "0"];
25889728[shape = box, label = "0x18b0bc0\n"];
25889728 -> 20608656[label = "0"];
21360368[shape = box, label = "0x145eef0\n"];
21360368 -> 25889728[label = "0"];
20608656[shape = box, label = "EXIT"];
24106720[shape = box, label = "0x16fd6e0\n"];
24106720 -> 20548432[label = "0"];
20608192[shape = box, label = "0x13a74c0\n"];
20608192 -> 20614320[label = "0"];
23801008[shape = box, label = "ENTER"];
23801008 -> 20608192[label = "0"];
}