digraph cfg {
27486240[shape = box, label = "0x1a36820\n"];
27486240 -> 24899872[label = "0"];
24899872[shape = box, label = "0x17bf120\n"];
24899872 -> 24151168[label = "0"];
24151168[shape = box, label = "EXIT"];
24151584[shape = box, label = "ENTER"];
24151584 -> 27486240[label = "0"];
}