digraph cfg {
56122224[shape = box, label = "0x3585b70\n"];
56122224 -> 56783760[label = "0"];
56218256[shape = box, label = "0x359d290\n"];
56218256 -> 56122224[label = "0"];
56494624[shape = box, label = "0x35e0a20\n"];
56494624 -> 56218256[label = "0"];
56783760[shape = box, label = "EXIT"];
50529520[shape = box, label = "ENTER"];
50529520 -> 56494624[label = "0"];
}