digraph cfg {
30914448[shape = box, label = "0x1d7b790\n"];
30914448 -> 31172240[label = "0"];
30897568[shape = box, label = "0x1d775a0\n"];
30897568 -> 30914448[label = "0"];
31172240[shape = box, label = "EXIT"];
32115344[shape = box, label = "ENTER"];
32115344 -> 30897568[label = "0"];
}