digraph cfg {
42534672[shape = box, label = "0x2890710\n"];
42534672 -> 40598512[label = "0"];
42534320[shape = box, label = "0x28905b0\n"];
42534320 -> 42534672[label = "0"];
42571216[shape = box, label = "0x28995d0\n"];
42571216 -> 42562176[label = "0"];
42571216 -> 42571632[label = "1"];
40343008[shape = box, label = "ENTER"];
40343008 -> 40349184[label = "0"];
42158096[shape = box, label = "0x2834810\n"];
42158096 -> 42562176[label = "0"];
40598512[shape = box, label = "EXIT"];
42157296[shape = box, label = "0x28344f0\n"];
42157296 -> 42157744[label = "0"];
40146544[shape = box, label = "0x2649670\n"];
40146544 -> 40146800[label = "0"];
42558448[shape = box, label = "0x28963f0\n"];
42558448 -> 42558896[label = "0"];
40349184[shape = box, label = "0x267ae00\n"];
40349184 -> 40146544[label = "0"];
40146800[shape = box, label = "0x2649770\n"];
40146800 -> 40342288[label = "0"];
42571632[shape = box, label = "0x2899770\n"];
42571632 -> 42157296[label = "0"];
42562432[shape = box, label = "0x2897380\n"];
42562432 -> 42571216[label = "0"];
40342288[shape = box, label = "0x2679310\n"];
40342288 -> 42558448[label = "0"];
42157744[shape = box, label = "0x28346b0\n"];
42157744 -> 42158096[label = "0"];
42562176[shape = box, label = "0x2897280\n"];
42562176 -> 42534320[label = "0"];
42558896[shape = box, label = "0x28965b0\n"];
42558896 -> 42589792[label = "0"];
42589792[shape = box, label = "0x289de60\n"];
42589792 -> 42562432[label = "0"];
}