digraph cfg {
51067952[shape = box, label = "0x30b3c30\n"];
51067952 -> 56783760[label = "0"];
52660720[shape = box, label = "0x32389f0\n"];
52660720 -> 51067952[label = "0"];
56494624[shape = box, label = "0x35e0a20\n"];
56494624 -> 52660720[label = "0"];
56783760[shape = box, label = "EXIT"];
50529520[shape = box, label = "ENTER"];
50529520 -> 56494624[label = "0"];
}