digraph cfg {
48595424[shape = box, label = "0x2e581e0\n"];
48595424 -> 48362672[label = "0"];
48201872[shape = box, label = "0x2df8090\n"];
48201872 -> 48595424[label = "0"];
48115552[shape = box, label = "0x2de2f60\n"];
48115552 -> 48201872[label = "0"];
48362672[shape = box, label = "EXIT"];
48109200[shape = box, label = "ENTER"];
48109200 -> 48115552[label = "0"];
}