digraph cfg {
19088032[shape = box, label = "0x12342a0\n"];
19088032 -> 21028560[label = "0"];
19072240[shape = box, label = "0x12304f0\n"];
19072240 -> 19088032[label = "0"];
19082480[shape = box, label = "0x1232cf0\n"];
19082480 -> 19072240[label = "0"];
21028560[shape = box, label = "EXIT"];
19089712[shape = box, label = "ENTER"];
19089712 -> 19082480[label = "0"];
}