digraph cfg {
31143472[shape = box, label = "0x1db3630\n"];
31143472 -> 31143040[label = "0"];
31143040[shape = box, label = "0x1db3480\n"];
31143040 -> 30943984[label = "0"];
30943984[shape = box, label = "EXIT"];
33424144[shape = box, label = "ENTER"];
33424144 -> 31143472[label = "0"];
}