digraph cfg {
18781696[shape = box, label = "0x11e9600\n"];
18781696 -> 19380096[label = "0"];
18869696[shape = box, label = "0x11fedc0\n"];
18869696 -> 18781696[label = "0"];
19380096[shape = box, label = "EXIT"];
18608992[shape = box, label = "ENTER"];
18608992 -> 18869696[label = "0"];
}