digraph cfg {
41277024[shape = box, label = "0x275d660\n"];
41277024 -> 41045184[label = "0"];
41592912[shape = box, label = "0x27aa850\n"];
41592912 -> 41277024[label = "0"];
41045184[shape = box, label = "EXIT"];
41039664[shape = box, label = "ENTER"];
41039664 -> 41592912[label = "0"];
}