digraph cfg {
22241200[shape = box, label = "0x1535fb0\n"];
22241200 -> 22243664[label = "0"];
22240848[shape = box, label = "0x1535e50\n"];
22240848 -> 22241200[label = "0"];
22240304[shape = box, label = "0x1535c30\n"];
22240304 -> 22240848[label = "0"];
22767024[shape = box, label = "0x15b65b0\n"];
22767024 -> 22767472[label = "0"];
22766768[shape = box, label = "0x15b64b0\n"];
22766768 -> 22767024[label = "0"];
22765936[shape = box, label = "0x15b6170\n"];
22765936 -> 22766768[label = "0"];
22767472[shape = box, label = "0x15b6770\n"];
22767472 -> 22240304[label = "0"];
22636832[shape = box, label = "ENTER"];
22636832 -> 22166624[label = "0"];
22243664[shape = box, label = "EXIT"];
22764800[shape = box, label = "0x15b5d00\n"];
22764800 -> 22765056[label = "0"];
22166624[shape = box, label = "0x1523c60\n"];
22166624 -> 22243264[label = "0"];
22243264[shape = box, label = "0x15367c0\n"];
22243264 -> 22611872[label = "0"];
22591984[shape = box, label = "0x158b9f0\n"];
22591984 -> 22764800[label = "0"];
22765056[shape = box, label = "0x15b5e00\n"];
22765056 -> 22249392[label = "0"];
22611872[shape = box, label = "0x15907a0\n"];
22611872 -> 22591984[label = "0"];
22249392[shape = box, label = "0x1537fb0\n"];
22249392 -> 22483824[label = "0"];
22483824[shape = box, label = "0x1571370\n"];
22483824 -> 22765936[label = "0"];
}