digraph cfg {
38056608[shape = box, label = "0x244b2a0\n"];
38056608 -> 36647600[label = "0"];
33594848[shape = box, label = "0x2009de0\n"];
33594848 -> 34205168[label = "0"];
34205168[shape = box, label = "0x209edf0\n"];
34205168 -> 33453248[label = "0"];
36647600[shape = box, label = "0x22f32b0\n"];
36647600 -> 33453248[label = "0"];
33459184[shape = box, label = "0x1fe8bf0\n"];
33459184 -> 33453248[label = "0"];
36938704[shape = box, label = "0x233a3d0\n"];
36938704 -> 33923344[label = "0"];
35198992[shape = box, label = "0x2191810\n"];
35198992 -> 38056608[label = "1"];
35198992 -> 33594848[label = "0"];
33923344[shape = box, label = "0x205a110\n"];
33923344 -> 35198992[label = "0"];
33453248[shape = box, label = "EXIT"];
33453712[shape = box, label = "ENTER"];
33453712 -> 36938704[label = "0"];
}