digraph cfg {
20106816[shape = box, label = "0x132ce40\n"];
20106816 -> 20795888[label = "0"];
19913184[shape = box, label = "0x12fd9e0\n"];
19913184 -> 20106816[label = "0"];
20795888[shape = box, label = "EXIT"];
19989440[shape = box, label = "ENTER"];
19989440 -> 19913184[label = "0"];
}