digraph cfg {
51400672[shape = box, label = "0x3104fe0\n"];
51400672 -> 51584400[label = "0"];
51419696[shape = box, label = "0x3109a30\n"];
51419696 -> 51400672[label = "0"];
51584400[shape = box, label = "EXIT"];
51393552[shape = box, label = "ENTER"];
51393552 -> 51419696[label = "0"];
}