digraph cfg {
39347264[shape = box, label = "0x2586440\n"];
39347264 -> 39064000[label = "0"];
38905632[shape = box, label = "0x251a720\n"];
38905632 -> 39347264[label = "0"];
39064000[shape = box, label = "0x25411c0\n"];
39064000 -> 38849104[label = "0"];
38849104[shape = box, label = "EXIT"];
38918064[shape = box, label = "ENTER"];
38918064 -> 38905632[label = "0"];
}