digraph cfg {
22802848[shape = box, label = "0x15bf1a0\n"];
22802848 -> 20303680[label = "0"];
20309456[shape = box, label = "0x135e5d0\n"];
20309456 -> 20527808[label = "0"];
21169744[shape = box, label = "0x1430650\n"];
21169744 -> 20309456[label = "0"];
21169456[shape = box, label = "0x1430530\n"];
21169456 -> 21169744[label = "0"];
20453152[shape = box, label = "0x1381720\n"];
20453152 -> 21169456[label = "0"];
20527808[shape = box, label = "0x1393ac0\n"];
20527808 -> 22802848[label = "0"];
20292848[shape = box, label = "0x135a4f0\n"];
20292848 -> 20453152[label = "0"];
20303680[shape = box, label = "EXIT"];
21856656[shape = box, label = "ENTER"];
21856656 -> 20292848[label = "0"];
}