digraph cfg {
41823872[shape = box, label = "0x27e2e80\n"];
41823872 -> 43153440[label = "0"];
41974272[shape = box, label = "0x2807a00\n"];
41974272 -> 43153440[label = "0"];
41684048[shape = box, label = "0x27c0c50\n"];
41684048 -> 43059184[label = "0"];
41684048 -> 41823872[label = "1"];
41683792[shape = box, label = "0x27c0b50\n"];
41683792 -> 41684048[label = "0"];
43059184[shape = box, label = "0x29107f0\n"];
43059184 -> 41685248[label = "0"];
41615456[shape = box, label = "0x27b0060\n"];
41615456 -> 41683792[label = "0"];
41685248[shape = box, label = "0x27c1100\n"];
41685248 -> 41974272[label = "0"];
43153440[shape = box, label = "EXIT"];
41677664[shape = box, label = "ENTER"];
41677664 -> 41615456[label = "0"];
}