digraph cfg {
22764800[shape = box, label = "0x15b5d00\n"];
22764800 -> 22389584[label = "0"];
22389584[shape = box, label = "0x155a350\n"];
22389584 -> 22414336[label = "0"];
22591984[shape = box, label = "0x158b9f0\n"];
22591984 -> 22764800[label = "0"];
22611872[shape = box, label = "0x15907a0\n"];
22611872 -> 22591984[label = "0"];
22166624[shape = box, label = "0x1523c60\n"];
22166624 -> 22243264[label = "0"];
22243264[shape = box, label = "0x15367c0\n"];
22243264 -> 22611872[label = "0"];
22414336[shape = box, label = "EXIT"];
22636832[shape = box, label = "ENTER"];
22636832 -> 22166624[label = "0"];
}