digraph cfg {
49430704[shape = box, label = "0x2f240b0\n"];
49430704 -> 49493488[label = "0"];
49500512[shape = box, label = "0x2f35160\n"];
49500512 -> 49493488[label = "0"];
49600656[shape = box, label = "0x2f4d890\n"];
49600656 -> 49500512[label = "0"];
49600656 -> 49430704[label = "1"];
50242960[shape = box, label = "0x2fea590\n"];
50242960 -> 49600656[label = "0"];
50020256[shape = box, label = "0x2fb3fa0\n"];
50020256 -> 49493488[label = "0"];
51409424[shape = box, label = "0x3107210\n"];
51409424 -> 50242960[label = "0"];
49493488[shape = box, label = "EXIT"];
50402528[shape = box, label = "ENTER"];
50402528 -> 51409424[label = "0"];
}