digraph cfg {
40418608[shape = box, label = "0x268bd30\n"];
40418608 -> 39785472[label = "0"];
43217904[shape = box, label = "0x29373f0\n"];
43217904 -> 40418608[label = "0"];
39785472[shape = box, label = "EXIT"];
39786032[shape = box, label = "ENTER"];
39786032 -> 43217904[label = "0"];
}