digraph cfg {
51113280[shape = box, label = "0x30bed40\n"];
51113280 -> 50427600[label = "0"];
50316352[shape = box, label = "0x2ffc440\n"];
50316352 -> 51113280[label = "0"];
50427600[shape = box, label = "EXIT"];
50299840[shape = box, label = "ENTER"];
50299840 -> 50316352[label = "0"];
}