digraph cfg {
22790464[shape = box, label = "0x15bc140\n"];
22790464 -> 22838576[label = "0"];
22818496[shape = box, label = "0x15c2ec0\n"];
22818496 -> 22790464[label = "0"];
22838576[shape = box, label = "EXIT"];
22838320[shape = box, label = "ENTER"];
22838320 -> 22818496[label = "0"];
}