digraph cfg {
50310320[shape = box, label = "0x2ffacb0\n"];
50310320 -> 50808288[label = "0"];
51224576[shape = box, label = "0x30da000\n"];
51224576 -> 50310320[label = "0"];
50808288[shape = box, label = "EXIT"];
50614368[shape = box, label = "ENTER"];
50614368 -> 51224576[label = "0"];
}