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