digraph cfg {
22424912[shape = box, label = "0x1562d50\n"];
22424912 -> 21273824[label = "0"];
22387072[shape = box, label = "0x1559980\n"];
22387072 -> 21273824[label = "0"];
21130496[shape = box, label = "0x1426d00\n"];
21130496 -> 22424912[label = "0"];
21130496 -> 22387072[label = "1"];
21943008[shape = box, label = "0x14ed2e0\n"];
21943008 -> 21130496[label = "0"];
22087152[shape = box, label = "0x15105f0\n"];
22087152 -> 21273824[label = "0"];
21048448[shape = box, label = "0x1412c80\n"];
21048448 -> 21943008[label = "0"];
21273824[shape = box, label = "EXIT"];
21124896[shape = box, label = "ENTER"];
21124896 -> 21048448[label = "0"];
}