digraph cfg {
28475568[shape = box, label = "0x1b280b0\n"];
28475568 -> 28383488[label = "0"];
28439792[shape = box, label = "0x1b1f4f0\n"];
28439792 -> 28475568[label = "0"];
28383488[shape = box, label = "EXIT"];
28456832[shape = box, label = "ENTER"];
28456832 -> 28439792[label = "0"];
}
