digraph cfg {
24720256[shape = box, label = "0x1793380\n"];
24720256 -> 24579344[label = "0"];
24368352[shape = box, label = "0x173d4e0\n"];
24368352 -> 24720256[label = "0"];
24579344[shape = box, label = "EXIT"];
24565088[shape = box, label = "ENTER"];
24565088 -> 24368352[label = "0"];
}