digraph cfg {
25206288[shape = box, label = "0x1809e10\n"];
25206288 -> 22926352[label = "0"];
26658560[shape = box, label = "0x196c700\n"];
26658560 -> 25206288[label = "0"];
22926352[shape = box, label = "EXIT"];
24956576[shape = box, label = "ENTER"];
24956576 -> 26658560[label = "0"];
}