digraph cfg {
51093776[shape = box, label = "0x30ba110\n"];
51093776 -> 56267072[label = "0"];
56267072[shape = box, label = "0x35a9140\n"];
56267072 -> 56705840[label = "0"];
56705840[shape = box, label = "EXIT"];
56703888[shape = box, label = "ENTER"];
56703888 -> 51093776[label = "0"];
}