digraph cfg {
24223216[shape = box, label = "0x1719df0\n"];
24223216 -> 28144752[label = "0"];
27983456[shape = box, label = "0x1aafe60\n"];
27983456 -> 24223216[label = "0"];
23613088[shape = box, label = "0x1684ea0\n"];
23613088 -> 27983456[label = "0"];
27985200[shape = box, label = "0x1ab0530\n"];
27985200 -> 28018592[label = "0"];
28018592[shape = box, label = "0x1ab87a0\n"];
28018592 -> 23613088[label = "0"];
27984976[shape = box, label = "EXIT"];
28144752[shape = box, label = "0x1ad7470\n"];
28144752 -> 27984976[label = "0"];
23477232[shape = box, label = "ENTER"];
23477232 -> 27985200[label = "0"];
}