digraph cfg {
24956736[shape = box, label = "0x17ccf40\n"];
24956736 -> 26658560[label = "0"];
25206128[shape = box, label = "0x1809d70\n"];
25206128 -> 24956736[label = "0"];
26658560[shape = box, label = "EXIT"];
22926352[shape = box, label = "ENTER"];
22926352 -> 25206128[label = "0"];
}