digraph cfg {
33871056[shape = box, label = "0x204d4d0\n"];
33871056 -> 34067776[label = "0"];
34078912[shape = box, label = "0x20800c0\n"];
34078912 -> 33871056[label = "0"];
34067776[shape = box, label = "EXIT"];
34011408[shape = box, label = "ENTER"];
34011408 -> 34078912[label = "0"];
}