digraph cfg {
25425104[shape = box, label = "0x183f4d0\n"];
25425104 -> 25621824[label = "0"];
25629264[shape = box, label = "0x1871250\n"];
25629264 -> 25425104[label = "0"];
25621824[shape = box, label = "EXIT"];
26365712[shape = box, label = "ENTER"];
26365712 -> 25629264[label = "0"];
}