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