digraph cfg {
36647600[shape = box, label = "0x22f32b0\n"];
36647600 -> 33459184[label = "0"];
33459184[shape = box, label = "0x1fe8bf0\n"];
33459184 -> 33453248[label = "0"];
33594848[shape = box, label = "0x2009de0\n"];
33594848 -> 33453248[label = "0"];
38056608[shape = box, label = "0x244b2a0\n"];
38056608 -> 33594848[label = "0"];
33923600[shape = box, label = "0x205a210\n"];
33923600 -> 38056608[label = "1"];
33923600 -> 36647600[label = "0"];
34205264[shape = box, label = "0x209ee50\n"];
34205264 -> 33453248[label = "0"];
36938560[shape = box, label = "0x233a340\n"];
36938560 -> 33923600[label = "0"];
36960448[shape = box, label = "0x233f8c0\n"];
36960448 -> 36938560[label = "0"];
33453248[shape = box, label = "EXIT"];
33453712[shape = box, label = "ENTER"];
33453712 -> 36960448[label = "0"];
}