digraph cfg {
49999952[shape = box, label = "0x2faf050\n"];
49999952 -> 50014048[label = "0"];
55528688[shape = box, label = "0x34f4cf0\n"];
55528688 -> 49999952[label = "0"];
50546384[shape = box, label = "0x30346d0\n"];
50546384 -> 50308208[label = "0"];
50308208[shape = box, label = "0x2ffa470\n"];
50308208 -> 55528688[label = "0"];
55430160[shape = box, label = "0x34dcc10\n"];
55430160 -> 50546384[label = "0"];
50014048[shape = box, label = "EXIT"];
50001040[shape = box, label = "ENTER"];
50001040 -> 55430160[label = "0"];
}