digraph cfg {
25652208[shape = box, label = "0x1876bf0\n"];
25652208 -> 25646176[label = "0"];
32703744[shape = box, label = "0x1f30500\n"];
32703744 -> 25787968[label = "0"];
25646176[shape = box, label = "EXIT"];
25787968[shape = box, label = "0x1897e40\n"];
25787968 -> 25652208[label = "0"];
25646640[shape = box, label = "ENTER"];
25646640 -> 32703744[label = "0"];
}