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