digraph cfg {
49747008[shape = box, label = "0x2f71440\n"];
49747008 -> 49325520[label = "0"];
48958752[shape = box, label = "0x2eb0d20\n"];
48958752 -> 45562848[label = "0"];
45698704[shape = box, label = "0x2b94e90\n"];
45698704 -> 46190464[label = "0"];
49321248[shape = box, label = "0x2f09520\n"];
49321248 -> 49747008[label = "0"];
49325872[shape = box, label = "0x2f0a730\n"];
49325872 -> 45698704[label = "0"];
49325872 -> 48958752[label = "1"];
49325520[shape = box, label = "0x2f0a5d0\n"];
49325520 -> 49325872[label = "0"];
46309056[shape = box, label = "0x2c29ec0\n"];
46309056 -> 49321248[label = "0"];
45562848[shape = box, label = "0x2b73be0\n"];
45562848 -> 45698704[label = "0"];
46190464[shape = box, label = "EXIT"];
45556928[shape = box, label = "ENTER"];
45556928 -> 46309056[label = "0"];
}