digraph cfg {
55967856[shape = box, label = "0x3560070\n"];
55967856 -> 56201376[label = "0"];
56494624[shape = box, label = "0x35e0a20\n"];
56494624 -> 55967856[label = "0"];
56201376[shape = box, label = "0x35990a0\n"];
56201376 -> 56783760[label = "0"];
56783760[shape = box, label = "EXIT"];
50529520[shape = box, label = "ENTER"];
50529520 -> 56494624[label = "0"];
}