digraph cfg {
28786608[shape = box, label = "0x1b73fb0\n"];
28786608 -> 30430384[label = "0"];
30424896[shape = box, label = "0x1d03f40\n"];
30424896 -> 28786608[label = "0"];
30053616[shape = box, label = "0x1ca94f0\n"];
30053616 -> 30424896[label = "0"];
29696752[shape = box, label = "0x1c522f0\n"];
29696752 -> 30053616[label = "0"];
30430384[shape = box, label = "EXIT"];
28780416[shape = box, label = "ENTER"];
28780416 -> 29696752[label = "0"];
}