digraph cfg {
28558624[shape = box, label = "0x1b3c520\n"];
28558624 -> 28439056[label = "0"];
28439056[shape = box, label = "0x1b1f210\n"];
28439056 -> 28418640[label = "0"];
28418640[shape = box, label = "EXIT"];
28407104[shape = box, label = "ENTER"];
28407104 -> 28558624[label = "0"];
}