digraph cfg {
38923680[shape = box, label = "0x251eda0\n"];
38923680 -> 39582528[label = "0"];
39082912[shape = box, label = "0x2545ba0\n"];
39082912 -> 38923680[label = "0"];
39347264[shape = box, label = "0x2586440\n"];
39347264 -> 39082912[label = "0"];
39582528[shape = box, label = "0x25bfb40\n"];
39582528 -> 38918192[label = "0"];
38905632[shape = box, label = "0x251a720\n"];
38905632 -> 39347264[label = "0"];
38918192[shape = box, label = "EXIT"];
39443200[shape = box, label = "ENTER"];
39443200 -> 38905632[label = "0"];
}