digraph cfg {
28304288[shape = box, label = "0x1afe3a0\n"];
28304288 -> 28120576[label = "0"];
28120576[shape = box, label = "0x1ad1600\n"];
28120576 -> 28100160[label = "0"];
28100160[shape = box, label = "EXIT"];
28087648[shape = box, label = "ENTER"];
28087648 -> 28304288[label = "0"];
}