digraph cfg {
20003152[shape = box, label = "0x1313950\n"];
20003152 -> 18834448[label = "0"];
20002928[shape = box, label = "0x1313870\n"];
20002928 -> 20003152[label = "0"];
19053840[shape = box, label = "0x122bd10\n"];
19053840 -> 18840608[label = "0"];
18840608[shape = box, label = "0x11f7c20\n"];
18840608 -> 20002928[label = "0"];
18834448[shape = box, label = "EXIT"];
20020480[shape = box, label = "ENTER"];
20020480 -> 19053840[label = "0"];
}