digraph cfg {
50082048[shape = box, label = "0x2fc3100\n"];
50082048 -> 50568672[label = "0"];
53578320[shape = box, label = "0x3318a50\n"];
53578320 -> 50081824[label = "0"];
50568672[shape = box, label = "EXIT"];
50081824[shape = box, label = "0x2fc3020\n"];
50081824 -> 50082048[label = "0"];
46896224[shape = box, label = "ENTER"];
46896224 -> 53578320[label = "0"];
}