digraph cfg {
48128016[shape = box, label = "0x2de6010\n"];
48128016 -> 49449008[label = "0"];
47988064[shape = box, label = "0x2dc3d60\n"];
47988064 -> 48128016[label = "0"];
49449008[shape = box, label = "EXIT"];
47982480[shape = box, label = "ENTER"];
47982480 -> 47988064[label = "0"];
}