digraph cfg {
41566704[shape = box, label = "0x27a41f0\n"];
41566704 -> 47208448[label = "0"];
47191744[shape = box, label = "0x2d016c0\n"];
47191744 -> 47208448[label = "0"];
41573840[shape = box, label = "0x27a5dd0\n"];
41573840 -> 47191744[label = "0"];
42105712[shape = box, label = "0x2827b70\n"];
42105712 -> 47208448[label = "0"];
41867536[shape = box, label = "0x27ed910\n"];
41867536 -> 46977184[label = "0"];
46977184[shape = box, label = "0x2ccd0a0\n"];
46977184 -> 46977440[label = "0"];
47208448[shape = box, label = "EXIT"];
46977440[shape = box, label = "0x2ccd1a0\n"];
46977440 -> 41566704[label = "0"];
46977440 -> 41573840[label = "1"];
41491344[shape = box, label = "ENTER"];
41491344 -> 41867536[label = "0"];
}