digraph cfg {
48112704[shape = box, label = "0x2de2440\n"];
48112704 -> 48415536[label = "0"];
48180976[shape = box, label = "0x2df2ef0\n"];
48180976 -> 48181200[label = "0"];
48181200[shape = box, label = "0x2df2fd0\n"];
48181200 -> 48112704[label = "0"];
48393456[shape = box, label = "0x2e26cf0\n"];
48393456 -> 48180976[label = "0"];
48415536[shape = box, label = "EXIT"];
49440896[shape = box, label = "ENTER"];
49440896 -> 48393456[label = "0"];
}