digraph cfg {
42747248[shape = box, label = "0x28c4570\n"];
42747248 -> 42607264[label = "0"];
43602816[shape = box, label = "0x2995380\n"];
43602816 -> 42747248[label = "0"];
42607264[shape = box, label = "EXIT"];
42587488[shape = box, label = "ENTER"];
42587488 -> 43602816[label = "0"];
}