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