digraph cfg {
28761504[shape = box, label = "0x1b6dda0\n"];
28761504 -> 26728544[label = "0"];
29095520[shape = box, label = "0x1bbf660\n"];
29095520 -> 26728544[label = "0"];
29095104[shape = box, label = "0x1bbf4c0\n"];
29095104 -> 26864208[label = "0"];
29095104 -> 29095520[label = "1"];
26864208[shape = box, label = "0x199ea50\n"];
26864208 -> 28761504[label = "0"];
28383024[shape = box, label = "0x1b11730\n"];
28383024 -> 26654736[label = "0"];
26728544[shape = box, label = "EXIT"];
26654736[shape = box, label = "0x196b810\n"];
26654736 -> 29095104[label = "0"];
26711232[shape = box, label = "ENTER"];
26711232 -> 28383024[label = "0"];
}