digraph cfg {
27232496[shape = box, label = "0x19f88f0\n"];
27232496 -> 26932464[label = "0"];
26932464[shape = box, label = "EXIT"];
33557120[shape = box, label = "0x2000a80\n"];
33557120 -> 27232496[label = "0"];
32783424[shape = box, label = "ENTER"];
32783424 -> 33557120[label = "0"];
}