digraph cfg {
25392544[shape = box, label = "0x18375a0\n"];
25392544 -> 26017008[label = "0"];
24529568[shape = box, label = "0x1764aa0\n"];
24529568 -> 25392544[label = "0"];
26017008[shape = box, label = "EXIT"];
24508384[shape = box, label = "ENTER"];
24508384 -> 24529568[label = "0"];
}