digraph cfg {
48923872[shape = box, label = "0x2ea84e0\n"];
48923872 -> 49141824[label = "0"];
50186016[shape = box, label = "0x2fdc720\n"];
50186016 -> 48923872[label = "0"];
49141824[shape = box, label = "EXIT"];
49120608[shape = box, label = "ENTER"];
49120608 -> 50186016[label = "0"];
}