digraph cfg {
47145296[shape = box, label = "0x2cf6150\n"];
47145296 -> 43787264[label = "0"];
43793376[shape = box, label = "0x29c3be0\n"];
43793376 -> 47145296[label = "0"];
51340928[shape = box, label = "0x30f6680\n"];
51340928 -> 43793376[label = "0"];
43787264[shape = box, label = "EXIT"];
49673792[shape = box, label = "ENTER"];
49673792 -> 51340928[label = "0"];
}