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