digraph cfg {
52101744[shape = box, label = "0x31b0270\n"];
52101744 -> 49197328[label = "0"];
53218704[shape = box, label = "0x32c0d90\n"];
53218704 -> 52101744[label = "0"];
52965792[shape = box, label = "0x32831a0\n"];
52965792 -> 49197328[label = "0"];
52965536[shape = box, label = "0x32830a0\n"];
52965536 -> 52965792[label = "0"];
49479152[shape = box, label = "0x2f2fdf0\n"];
49479152 -> 53218704[label = "0"];
49479152 -> 52965536[label = "1"];
53221600[shape = box, label = "0x32c18e0\n"];
53221600 -> 49479152[label = "0"];
51008352[shape = box, label = "EXIT"];
49197328[shape = box, label = "0x2eeb110\n"];
49197328 -> 51008352[label = "0"];
48727232[shape = box, label = "ENTER"];
48727232 -> 53221600[label = "0"];
}