digraph cfg {
34856128[shape = box, label = "0x213dcc0\n"];
34856128 -> 34546640[label = "0"];
34546640[shape = box, label = "EXIT"];
34554720[shape = box, label = "0x20f4360\n"];
34554720 -> 34856128[label = "0"];
34963216[shape = box, label = "ENTER"];
34963216 -> 34554720[label = "0"];
}