digraph cfg {
41440256[shape = box, label = "0x2785400\n"];
41440256 -> 42373104[label = "0"];
41096512[shape = box, label = "0x2731540\n"];
41096512 -> 41440256[label = "0"];
42373104[shape = box, label = "0x2868ff0\n"];
42373104 -> 42342048[label = "0"];
41299504[shape = box, label = "0x2762e30\n"];
41299504 -> 41096512[label = "0"];
42370512[shape = box, label = "0x28685d0\n"];
42370512 -> 42370800[label = "0"];
42342048[shape = box, label = "EXIT"];
42370800[shape = box, label = "0x28686f0\n"];
42370800 -> 41299504[label = "0"];
41293152[shape = box, label = "ENTER"];
41293152 -> 42370512[label = "0"];
}