digraph cfg {
51755456[shape = box, label = "0x315b9c0\n"];
51755456 -> 49742480[label = "0"];
46136576[shape = box, label = "0x2bffd00\n"];
46136576 -> 51755456[label = "0"];
46882528[shape = box, label = "0x2cb5ee0\n"];
46882528 -> 46136576[label = "0"];
49742480[shape = box, label = "EXIT"];
46130272[shape = box, label = "ENTER"];
46130272 -> 46882528[label = "0"];
}