digraph cfg {
36647600[shape = box, label = "0x22f32b0\n"];
36647600 -> 33453248[label = "0"];
33459184[shape = box, label = "0x1fe8bf0\n"];
33459184 -> 33453248[label = "0"];
34205264[shape = box, label = "0x209ee50\n"];
34205264 -> 35198992[label = "1"];
34205264 -> 33594848[label = "0"];
33594848[shape = box, label = "0x2009de0\n"];
33594848 -> 36647600[label = "0"];
33923440[shape = box, label = "0x205a170\n"];
33923440 -> 33453248[label = "0"];
36938448[shape = box, label = "0x233a2d0\n"];
36938448 -> 36960560[label = "0"];
35198992[shape = box, label = "0x2191810\n"];
35198992 -> 33459184[label = "0"];
33453248[shape = box, label = "EXIT"];
36960560[shape = box, label = "0x233f930\n"];
36960560 -> 34205264[label = "0"];
36636192[shape = box, label = "ENTER"];
36636192 -> 36938448[label = "0"];
}