digraph cfg {
26698976[shape = box, label = "0x19764e0\n"];
26698976 -> 26901872[label = "0"];
27804288[shape = box, label = "0x1a84280\n"];
27804288 -> 26698976[label = "0"];
26901872[shape = box, label = "EXIT"];
27427136[shape = box, label = "ENTER"];
27427136 -> 27804288[label = "0"];
}