digraph cfg {
28793840[shape = box, label = "0x1b75bf0\n"];
28793840 -> 28787712[label = "0"];
32286432[shape = box, label = "0x1eca6e0\n"];
32286432 -> 28793840[label = "0"];
29539824[shape = box, label = "0x1c2bdf0\n"];
29539824 -> 32286432[label = "0"];
28787712[shape = box, label = "EXIT"];
28788368[shape = box, label = "ENTER"];
28788368 -> 29539824[label = "0"];
}
