digraph cfg {
40730096[shape = box, label = "0x26d7df0\n"];
40730096 -> 40119776[label = "0"];
43476704[shape = box, label = "0x29766e0\n"];
43476704 -> 40730096[label = "0"];
40119776[shape = box, label = "EXIT"];
39977984[shape = box, label = "ENTER"];
39977984 -> 43476704[label = "0"];
}