digraph cfg {
38056608[shape = box, label = "0x244b2a0\n"];
38056608 -> 33595072[label = "0"];
36647600[shape = box, label = "0x22f32b0\n"];
36647600 -> 33459184[label = "0"];
33459184[shape = box, label = "0x1fe8bf0\n"];
33459184 -> 36960448[label = "0"];
33595072[shape = box, label = "0x2009ec0\n"];
33595072 -> 36960448[label = "0"];
34086736[shape = box, label = "0x2081f50\n"];
34086736 -> 38056608[label = "1"];
34086736 -> 36647600[label = "0"];
35198992[shape = box, label = "0x2191810\n"];
35198992 -> 36960448[label = "0"];
33923344[shape = box, label = "0x205a110\n"];
33923344 -> 34086736[label = "0"];
36938448[shape = box, label = "0x233a2d0\n"];
36938448 -> 33923344[label = "0"];
36960448[shape = box, label = "EXIT"];
33453056[shape = box, label = "ENTER"];
33453056 -> 36938448[label = "0"];
}