digraph cfg {
40742928[shape = box, label = "0x26db010\n"];
40742928 -> 40871184[label = "0"];
40962928[shape = box, label = "0x2710b70\n"];
40962928 -> 40742928[label = "0"];
40962928 -> 40761536[label = "1"];
40761536[shape = box, label = "0x26df8c0\n"];
40761536 -> 40871184[label = "0"];
40871184[shape = box, label = "0x26fa510\n"];
40871184 -> 40581264[label = "0"];
41801664[shape = box, label = "0x27dd7c0\n"];
41801664 -> 40962928[label = "0"];
40581264[shape = box, label = "EXIT"];
40596560[shape = box, label = "ENTER"];
40596560 -> 41801664[label = "0"];
}