digraph cfg {
51379840[shape = box, label = "0x30ffe80\n"];
51379840 -> 51331472[label = "0"];
51353888[shape = box, label = "0x30f9920\n"];
51353888 -> 51379840[label = "0"];
46176320[shape = box, label = "0x2c09840\n"];
46176320 -> 51353888[label = "0"];
45882160[shape = box, label = "0x2bc1b30\n"];
45882160 -> 46176320[label = "0"];
51331472[shape = box, label = "EXIT"];
45859984[shape = box, label = "ENTER"];
45859984 -> 45882160[label = "0"];
}