digraph cfg {
42489088[shape = box, label = "0x2885500\n"];
42489088 -> 42509392[label = "0"];
42593232[shape = box, label = "EXIT"];
42509392[shape = box, label = "0x288a450\n"];
42509392 -> 42593232[label = "0"];
42405024[shape = box, label = "ENTER"];
42405024 -> 42489088[label = "0"];
}