digraph cfg {
25454896[shape = box, label = "0x1846930\n"];
25454896 -> 25456080[label = "0"];
24492720[shape = box, label = "0x175bab0\n"];
24492720 -> 25454896[label = "0"];
25456080[shape = box, label = "EXIT"];
19129344[shape = box, label = "ENTER"];
19129344 -> 24492720[label = "0"];
}