digraph cfg {
39619888[shape = box, label = "0x25c8d30\n"];
39619888 -> 39885392[label = "0"];
40444432[shape = box, label = "0x2692210\n"];
40444432 -> 39619888[label = "0"];
39885392[shape = box, label = "EXIT"];
39462208[shape = box, label = "ENTER"];
39462208 -> 40444432[label = "0"];
}