digraph cfg {
22840256[shape = box, label = "0x15c83c0\n"];
22840256 -> 21429520[label = "0"];
21429520[shape = box, label = "EXIT"];
21409136[shape = box, label = "0x146ad70\n"];
21409136 -> 22840256[label = "0"];
21402976[shape = box, label = "ENTER"];
21402976 -> 21409136[label = "0"];
}