digraph cfg {
20434896[shape = box, label = "0x137cfd0\n"];
20434896 -> 20259680[label = "0"];
21355200[shape = box, label = "0x145dac0\n"];
21355200 -> 20434896[label = "0"];
20277120[shape = box, label = "0x1356780\n"];
20277120 -> 21354976[label = "0"];
20826464[shape = box, label = "0x13dc960\n"];
20826464 -> 20277120[label = "0"];
20259680[shape = box, label = "EXIT"];
21354976[shape = box, label = "0x145d9e0\n"];
21354976 -> 21355200[label = "0"];
21150640[shape = box, label = "ENTER"];
21150640 -> 20826464[label = "0"];
}