digraph cfg {
42342240[shape = box, label = "0x2861760\n"];
42342240 -> 41299312[label = "0"];
41440384[shape = box, label = "0x2785480\n"];
41440384 -> 42342240[label = "0"];
42370512[shape = box, label = "0x28685d0\n"];
42370512 -> 42370800[label = "0"];
42370800[shape = box, label = "0x28686f0\n"];
42370800 -> 41440384[label = "0"];
41299312[shape = box, label = "EXIT"];
41293152[shape = box, label = "ENTER"];
41293152 -> 42370512[label = "0"];
}