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