digraph cfg {
20592864[shape = box, label = "0x13a38e0\n"];
20592864 -> 20795888[label = "0"];
19995696[shape = box, label = "0x1311c30\n"];
19995696 -> 19927136[label = "0"];
19988608[shape = box, label = "0x1310080\n"];
19988608 -> 20592864[label = "0"];
19988256[shape = box, label = "0x130ff20\n"];
19988256 -> 19988608[label = "0"];
19995472[shape = box, label = "0x1311b50\n"];
19995472 -> 19995696[label = "0"];
19913184[shape = box, label = "0x12fd9e0\n"];
19913184 -> 19995472[label = "0"];
21337552[shape = box, label = "0x14595d0\n"];
21337552 -> 19913184[label = "0"];
20795888[shape = box, label = "EXIT"];
19927136[shape = box, label = "0x1301060\n"];
19927136 -> 19988256[label = "0"];
19989440[shape = box, label = "ENTER"];
19989440 -> 21337552[label = "0"];
}