digraph cfg {
48115520[shape = box, label = "0x2de2f40\n"];
48115520 -> 48052848[label = "0"];
48201872[shape = box, label = "0x2df8090\n"];
48201872 -> 48115520[label = "0"];
48052848[shape = box, label = "0x2dd3a70\n"];
48052848 -> 48362672[label = "0"];
48595456[shape = box, label = "0x2e58200\n"];
48595456 -> 48201872[label = "0"];
48362672[shape = box, label = "EXIT"];
48109200[shape = box, label = "ENTER"];
48109200 -> 48595456[label = "0"];
}