digraph cfg {
51002656[shape = box, label = "0x30a3d20\n"];
51002656 -> 51079456[label = "0"];
51085008[shape = box, label = "0x30b7ed0\n"];
51085008 -> 51056576[label = "0"];
51190048[shape = box, label = "0x30d1920\n"];
51190048 -> 51085008[label = "0"];
51189296[shape = box, label = "0x30d1630\n"];
51189296 -> 51190048[label = "0"];
51056928[shape = box, label = "0x30b1120\n"];
51056928 -> 51002656[label = "0"];
51056576[shape = box, label = "0x30b0fc0\n"];
51056576 -> 51056928[label = "0"];
51079456[shape = box, label = "EXIT"];
51105664[shape = box, label = "ENTER"];
51105664 -> 51189296[label = "0"];
}