digraph cfg {
19185760[shape = box, label = "0x124c060\n"];
19185760 -> 19247968[label = "0"];
19978992[shape = box, label = "0x130daf0\n"];
19978992 -> 19185760[label = "0"];
19247968[shape = box, label = "EXIT"];
20154368[shape = box, label = "ENTER"];
20154368 -> 19978992[label = "0"];
}