digraph cfg {
40761424[shape = box, label = "0x26df850\n"];
40761424 -> 40962928[label = "0"];
40761424 -> 40587760[label = "1"];
40587760[shape = box, label = "0x26b51f0\n"];
40587760 -> 40581264[label = "0"];
40742640[shape = box, label = "0x26daef0\n"];
40742640 -> 40602128[label = "0"];
40602128[shape = box, label = "0x26b8a10\n"];
40602128 -> 40761424[label = "0"];
40962928[shape = box, label = "0x2710b70\n"];
40962928 -> 41872592[label = "0"];
40871184[shape = box, label = "0x26fa510\n"];
40871184 -> 40742640[label = "0"];
40596720[shape = box, label = "0x26b74f0\n"];
40596720 -> 40871184[label = "0"];
40581264[shape = box, label = "EXIT"];
41872592[shape = box, label = "0x27eecd0\n"];
41872592 -> 40581264[label = "0"];
41045040[shape = box, label = "ENTER"];
41045040 -> 40596720[label = "0"];
}