digraph cfg {
35929856[shape = box, label = "0x2243f00\n"];
35929856 -> 31005856[label = "0"];
31005856[shape = box, label = "0x1d91ca0\n"];
31005856 -> 31141328[label = "0"];
35929632[shape = box, label = "0x2243e20\n"];
35929632 -> 35929856[label = "0"];
31141328[shape = box, label = "EXIT"];
30999552[shape = box, label = "ENTER"];
30999552 -> 35929632[label = "0"];
}