digraph cfg {
19369744[shape = box, label = "0x1278f10\n"];
19369744 -> 18617472[label = "0"];
18623472[shape = box, label = "0x11c2bf0\n"];
18623472 -> 19369744[label = "0"];
18617472[shape = box, label = "EXIT"];
18617904[shape = box, label = "ENTER"];
18617904 -> 18623472[label = "0"];
}