digraph cfg {
39219184[shape = box, label = "0x2566ff0\n"];
39219184 -> 32656560[label = "0"];
32651072[shape = box, label = "EXIT"];
32656560[shape = box, label = "0x1f24cb0\n"];
32656560 -> 32651072[label = "0"];
38354736[shape = box, label = "ENTER"];
38354736 -> 39219184[label = "0"];
}