digraph cfg {
40058032[shape = box, label = "0x2633cb0\n"];
40058032 -> 45576928[label = "0"];
45979376[shape = box, label = "0x2bd96f0\n"];
45979376 -> 40058032[label = "0"];
45576928[shape = box, label = "EXIT"];
40052416[shape = box, label = "ENTER"];
40052416 -> 45979376[label = "0"];
}