digraph cfg {
26546336[shape = box, label = "0x19510a0\n"];
26546336 -> 26406288[label = "0"];
26426480[shape = box, label = "0x1933c70\n"];
26426480 -> 26546336[label = "0"];
26406288[shape = box, label = "EXIT"];
26396096[shape = box, label = "ENTER"];
26396096 -> 26426480[label = "0"];
}