digraph cfg {
20092640[shape = box, label = "0x13296e0\n"];
20092640 -> 20253424[label = "0"];
20364032[shape = box, label = "0x136bb00\n"];
20364032 -> 20092640[label = "0"];
20245920[shape = box, label = "0x134eda0\n"];
20245920 -> 20364032[label = "0"];
20363200[shape = box, label = "0x136b7c0\n"];
20363200 -> 20245920[label = "0"];
20083952[shape = box, label = "0x13274f0\n"];
20083952 -> 20363200[label = "0"];
20111584[shape = box, label = "0x132e0e0\n"];
20111584 -> 20083952[label = "0"];
20087088[shape = box, label = "EXIT"];
20253424[shape = box, label = "0x1350af0\n"];
20253424 -> 20087088[label = "0"];
20094320[shape = box, label = "ENTER"];
20094320 -> 20111584[label = "0"];
}