digraph cfg {
30411344[shape = box, label = "0x1d00a50\n"];
30411344 -> 28849504[label = "0"];
28865888[shape = box, label = "0x1b87560\n"];
28865888 -> 30411344[label = "0"];
28849504[shape = box, label = "EXIT"];
29330912[shape = box, label = "ENTER"];
29330912 -> 28865888[label = "0"];
}