digraph cfg {
24524208[shape = box, label = "0x17635b0\n"];
24524208 -> 24978368[label = "0"];
24515824[shape = box, label = "0x17614f0\n"];
24515824 -> 24524208[label = "0"];
24978368[shape = box, label = "EXIT"];
24525888[shape = box, label = "ENTER"];
24525888 -> 24515824[label = "0"];
}