digraph cfg {
25787872[shape = box, label = "0x1897de0\n"];
25787872 -> 25646176[label = "0"];
31779376[shape = box, label = "0x1e4ea30\n"];
31779376 -> 31144272[label = "0"];
29021040[shape = box, label = "0x1bad370\n"];
29021040 -> 31144272[label = "0"];
29021040 -> 31779376[label = "1"];
31144272[shape = box, label = "0x1db3950\n"];
31144272 -> 25787872[label = "0"];
32703744[shape = box, label = "0x1f30500\n"];
32703744 -> 29021040[label = "0"];
25646176[shape = box, label = "EXIT"];
25646640[shape = box, label = "ENTER"];
25646640 -> 32703744[label = "0"];
}