digraph cfg {
38854976[shape = box, label = "0x250e140\n"];
38854976 -> 39946320[label = "0"];
38853456[shape = box, label = "0x250db50\n"];
38853456 -> 39946320[label = "0"];
39926096[shape = box, label = "0x2613950\n"];
39926096 -> 38872896[label = "0"];
39037056[shape = box, label = "0x253a880\n"];
39037056 -> 39926096[label = "0"];
39917168[shape = box, label = "0x2611670\n"];
39917168 -> 39946320[label = "0"];
39915808[shape = box, label = "0x2611120\n"];
39915808 -> 39036800[label = "0"];
38872896[shape = box, label = "0x2512740\n"];
38872896 -> 38854976[label = "0"];
38872896 -> 38853456[label = "1"];
39946320[shape = box, label = "EXIT"];
39036800[shape = box, label = "0x253a780\n"];
39036800 -> 39037056[label = "0"];
38847424[shape = box, label = "ENTER"];
38847424 -> 39915808[label = "0"];
}