digraph cfg {
31911344[shape = box, label = "0x1e6edb0\n"];
31911344 -> 30309520[label = "0"];
30290736[shape = box, label = "0x1ce3330\n"];
30290736 -> 31911344[label = "0"];
30309520[shape = box, label = "EXIT"];
30144080[shape = box, label = "ENTER"];
30144080 -> 30290736[label = "0"];
}