digraph cfg {
56218112[shape = box, label = "0x359d200\n"];
56218112 -> 50829776[label = "0"];
50535696[shape = box, label = "0x3031d10\n"];
50535696 -> 50829776[label = "0"];
50535696 -> 56218112[label = "1"];
51068016[shape = box, label = "0x30b3c70\n"];
51068016 -> 50535696[label = "0"];
56494624[shape = box, label = "0x35e0a20\n"];
56494624 -> 51068016[label = "0"];
56783760[shape = box, label = "EXIT"];
50829776[shape = box, label = "0x30799d0\n"];
50829776 -> 56783760[label = "0"];
50529520[shape = box, label = "ENTER"];
50529520 -> 56494624[label = "0"];
}