digraph cfg {
27232496[shape = box, label = "0x19f88f0\n"];
27232496 -> 32783456[label = "0"];
32572320[shape = box, label = "0x1f103a0\n"];
32572320 -> 27232496[label = "0"];
32783456[shape = box, label = "EXIT"];
26932432[shape = box, label = "ENTER"];
26932432 -> 32572320[label = "0"];
}