digraph cfg {
50666976[shape = box, label = "0x3051de0\n"];
50666976 -> 49920992[label = "0"];
54659184[shape = box, label = "0x3420870\n"];
54659184 -> 50666976[label = "0"];
55055792[shape = box, label = "0x34815b0\n"];
55055792 -> 49915072[label = "0"];
54557008[shape = box, label = "0x3407950\n"];
54557008 -> 55055792[label = "0"];
49920992[shape = box, label = "0x2f9bbe0\n"];
49920992 -> 54557008[label = "0"];
54717872[shape = box, label = "0x342edb0\n"];
54717872 -> 54659184[label = "0"];
54657792[shape = box, label = "0x3420300\n"];
54657792 -> 54717872[label = "0"];
54778816[shape = box, label = "0x343dbc0\n"];
54778816 -> 54657792[label = "0"];
49915072[shape = box, label = "EXIT"];
49915520[shape = box, label = "ENTER"];
49915520 -> 54778816[label = "0"];
}