digraph cfg {
38056608[shape = box, label = "0x244b2a0\n"];
38056608 -> 33459408[label = "0"];
33594848[shape = box, label = "0x2009de0\n"];
33594848 -> 34205168[label = "0"];
34086736[shape = box, label = "0x2081f50\n"];
34086736 -> 38056608[label = "1"];
34086736 -> 33594848[label = "0"];
33459408[shape = box, label = "0x1fe8cd0\n"];
33459408 -> 36938448[label = "0"];
35198992[shape = box, label = "0x2191810\n"];
35198992 -> 36938448[label = "0"];
33923344[shape = box, label = "0x205a110\n"];
33923344 -> 34086736[label = "0"];
34205168[shape = box, label = "0x209edf0\n"];
34205168 -> 36938448[label = "0"];
36960448[shape = box, label = "0x233f8c0\n"];
36960448 -> 33923344[label = "0"];
36938448[shape = box, label = "EXIT"];
33453056[shape = box, label = "ENTER"];
33453056 -> 36960448[label = "0"];
}