digraph cfg {
26215744[shape = box, label = "0x1900540\n"];
26215744 -> 26592432[label = "0"];
26592432[shape = box, label = "0x195c4b0\n"];
26592432 -> 26586624[label = "0"];
26592432 -> 26567584[label = "1"];
26586624[shape = box, label = "0x195ae00\n"];
26586624 -> 26814240[label = "0"];
26427360[shape = box, label = "0x1933fe0\n"];
26427360 -> 26592432[label = "0"];
26814240[shape = box, label = "EXIT"];
26567584[shape = box, label = "0x19563a0\n"];
26567584 -> 26215744[label = "0"];
26446320[shape = box, label = "ENTER"];
26446320 -> 26427360[label = "0"];
}