digraph cfg {
24529536[shape = box, label = "0x1764a80\n"];
24529536 -> 25391024[label = "0"];
25392576[shape = box, label = "0x18375c0\n"];
25392576 -> 24529536[label = "0"];
26017008[shape = box, label = "EXIT"];
25391024[shape = box, label = "0x1836fb0\n"];
25391024 -> 26017008[label = "0"];
24508384[shape = box, label = "ENTER"];
24508384 -> 25392576[label = "0"];
}