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