digraph cfg {
23698944[shape = box, label = "0x1699e00\n"];
23698944 -> 23992416[label = "0"];
23086480[shape = box, label = "0x1604590\n"];
23086480 -> 23698944[label = "0"];
23992416[shape = box, label = "EXIT"];
23352144[shape = box, label = "ENTER"];
23352144 -> 23086480[label = "0"];
}