digraph cfg {
20400784[shape = box, label = "0x1374a90\n"];
20400784 -> 18838880[label = "0"];
18855328[shape = box, label = "0x11fb5a0\n"];
18855328 -> 20400784[label = "0"];
18838880[shape = box, label = "EXIT"];
19320352[shape = box, label = "ENTER"];
19320352 -> 18855328[label = "0"];
}