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