digraph cfg {
51755520[shape = box, label = "0x315ba00\n"];
51755520 -> 49742480[label = "0"];
46136544[shape = box, label = "0x2bffce0\n"];
46136544 -> 51755520[label = "0"];
49742480[shape = box, label = "EXIT"];
46130272[shape = box, label = "ENTER"];
46130272 -> 46136544[label = "0"];
}