digraph cfg {
39236112[shape = box, label = "0x256b210\n"];
39236112 -> 39236464[label = "0"];
39234928[shape = box, label = "0x256ad70\n"];
39234928 -> 39235280[label = "0"];
36049072[shape = box, label = "0x22610b0\n"];
36049072 -> 36048368[label = "0"];
36049072 -> 39234928[label = "1"];
36048720[shape = box, label = "0x2260f50\n"];
36048720 -> 36049072[label = "0"];
36048368[shape = box, label = "0x2260df0\n"];
36048368 -> 39236112[label = "0"];
38149120[shape = box, label = "ENTER"];
38149120 -> 36191696[label = "0"];
39235280[shape = box, label = "0x256aed0\n"];
39235280 -> 36048720[label = "0"];
36056128[shape = box, label = "0x2262c40\n"];
36056128 -> 40520832[label = "0"];
36050016[shape = box, label = "EXIT"];
36191696[shape = box, label = "0x2283dd0\n"];
36191696 -> 36191984[label = "0"];
39236464[shape = box, label = "0x256b370\n"];
39236464 -> 37750192[label = "0"];
36047376[shape = box, label = "0x2260a10\n"];
36047376 -> 36047728[label = "0"];
36047728[shape = box, label = "0x2260b70\n"];
36047728 -> 36048720[label = "0"];
36191984[shape = box, label = "0x2283ef0\n"];
36191984 -> 36056128[label = "0"];
37750192[shape = box, label = "0x24005b0\n"];
37750192 -> 36050016[label = "0"];
39230352[shape = box, label = "0x2569b90\n"];
39230352 -> 36801984[label = "0"];
40520832[shape = box, label = "0x26a4c80\n"];
40520832 -> 36047376[label = "0"];
40520832 -> 39230352[label = "1"];
36801984[shape = box, label = "0x2318dc0\n"];
36801984 -> 37750192[label = "0"];
}