digraph cfg {
26964896[shape = box, label = "0x19b73a0\n"];
26964896 -> 28492240[label = "0"];
28814096[shape = box, label = "0x1b7ab10\n"];
28814096 -> 26964896[label = "0"];
27964976[shape = box, label = "0x1aab630\n"];
27964976 -> 28814096[label = "0"];
28492240[shape = box, label = "EXIT"];
27161920[shape = box, label = "ENTER"];
27161920 -> 27964976[label = "0"];
}