digraph cfg {
48728144[shape = box, label = "0x2e78850\n"];
48728144 -> 48621920[label = "0"];
48599360[shape = box, label = "0x2e59140\n"];
48599360 -> 48728144[label = "0"];
48627536[shape = box, label = "0x2e5ff50\n"];
48627536 -> 48599040[label = "0"];
48599040[shape = box, label = "0x2e59000\n"];
48599040 -> 48599360[label = "0"];
48621920[shape = box, label = "EXIT"];
48620864[shape = box, label = "ENTER"];
48620864 -> 48627536[label = "0"];
}