digraph cfg {
40423152[shape = box, label = "0x268cef0\n"];
40423152 -> 40445792[label = "0"];
40441264[shape = box, label = "0x26915b0\n"];
40441264 -> 39944896[label = "0"];
39148368[shape = box, label = "0x2555b50\n"];
39148368 -> 40441264[label = "0"];
39944896[shape = box, label = "0x26182c0\n"];
39944896 -> 40423152[label = "0"];
40445792[shape = box, label = "EXIT"];
39065984[shape = box, label = "ENTER"];
39065984 -> 39148368[label = "0"];
}