digraph cfg {
22558688[shape = box, label = "0x15837e0\n"];
22558688 -> 22739024[label = "0"];
22424080[shape = box, label = "0x1562a10\n"];
22424080 -> 22543648[label = "0"];
22403952[shape = box, label = "0x155db70\n"];
22403952 -> 22558688[label = "0"];
22543872[shape = box, label = "0x157fe00\n"];
22543872 -> 22403952[label = "0"];
22889888[shape = box, label = "0x15d45a0\n"];
22889888 -> 22424080[label = "0"];
22394176[shape = box, label = "0x155b540\n"];
22394176 -> 22889888[label = "0"];
22739024[shape = box, label = "EXIT"];
22543648[shape = box, label = "0x157fd20\n"];
22543648 -> 22543872[label = "0"];
22197632[shape = box, label = "ENTER"];
22197632 -> 22394176[label = "0"];
}