digraph cfg {
24275984[shape = box, label = "0x1726c10\n"];
24275984 -> 24276272[label = "0"];
24425776[shape = box, label = "EXIT"];
24276272[shape = box, label = "0x1726d30\n"];
24276272 -> 24425776[label = "0"];
23162192[shape = box, label = "ENTER"];
23162192 -> 24275984[label = "0"];
}