digraph cfg {
46070896[shape = box, label = "0x2befc70\n"];
46070896 -> 51906400[label = "0"];
51671024[shape = box, label = "0x3146ff0\n"];
51671024 -> 46070896[label = "0"];
51906400[shape = box, label = "0x3180760\n"];
51906400 -> 49742480[label = "0"];
49742480[shape = box, label = "EXIT"];
46130272[shape = box, label = "ENTER"];
46130272 -> 51671024[label = "0"];
}