digraph cfg {
19956096[shape = box, label = "0x1308180\n"];
19956096 -> 19995056[label = "0"];
19955712[shape = box, label = "0x1308000\n"];
19955712 -> 19956096[label = "0"];
19995056[shape = box, label = "EXIT"];
20015344[shape = box, label = "ENTER"];
20015344 -> 19955712[label = "0"];
}