digraph cfg {
25517536[shape = box, label = "0x1855de0\n"];
25517536 -> 25340928[label = "0"];
26128080[shape = box, label = "0x18eaed0\n"];
26128080 -> 25517536[label = "0"];
26127856[shape = box, label = "0x18eadf0\n"];
26127856 -> 26128080[label = "0"];
25381872[shape = box, label = "0x1834bf0\n"];
25381872 -> 25340928[label = "0"];
25381872 -> 26127856[label = "1"];
25340928[shape = box, label = "0x182ac00\n"];
25340928 -> 25375936[label = "0"];
30268896[shape = box, label = "0x1cddde0\n"];
30268896 -> 25381872[label = "0"];
25375936[shape = box, label = "EXIT"];
25376400[shape = box, label = "ENTER"];
25376400 -> 30268896[label = "0"];
}