digraph cfg {
22239552[shape = box, label = "0x1535940\n"];
22239552 -> 22226256[label = "0"];
22260032[shape = box, label = "0x153a940\n"];
22260032 -> 22239552[label = "0"];
22571680[shape = box, label = "0x1586aa0\n"];
22571680 -> 22260032[label = "0"];
22226256[shape = box, label = "EXIT"];
24120368[shape = box, label = "ENTER"];
24120368 -> 22571680[label = "0"];
}