digraph cfg {
40507312[shape = box, label = "0x26a17b0\n"];
40507312 -> 37008512[label = "0"];
37150464[shape = box, label = "0x236df00\n"];
37150464 -> 40507312[label = "0"];
37760496[shape = box, label = "0x2402df0\n"];
37760496 -> 37150464[label = "0"];
37008512[shape = box, label = "EXIT"];
37008944[shape = box, label = "ENTER"];
37008944 -> 37760496[label = "0"];
}