digraph cfg {
37924848[shape = box, label = "0x242aff0\n"];
37924848 -> 37924592[label = "0"];
37924848 -> 37925200[label = "1"];
37961520[shape = box, label = "0x2433f30\n"];
37961520 -> 37952928[label = "0"];
34452480[shape = box, label = "ENTER"];
34452480 -> 35204576[label = "0"];
37912992[shape = box, label = "0x24281a0\n"];
37912992 -> 37913248[label = "0"];
34458592[shape = box, label = "EXIT"];
35204864[shape = box, label = "0x2192f00\n"];
35204864 -> 34594256[label = "0"];
37922128[shape = box, label = "0x242a550\n"];
37922128 -> 35204864[label = "0"];
37922128 -> 35085712[label = "1"];
37925200[shape = box, label = "0x242b150\n"];
37925200 -> 37924592[label = "0"];
35204576[shape = box, label = "0x2192de0\n"];
35204576 -> 37922128[label = "0"];
35085712[shape = box, label = "0x2175d90\n"];
35085712 -> 37922128[label = "0"];
37924592[shape = box, label = "0x242aef0\n"];
37924592 -> 34458592[label = "0"];
37952928[shape = box, label = "0x2431da0\n"];
37952928 -> 37924848[label = "0"];
34594256[shape = box, label = "0x20fddd0\n"];
34594256 -> 37912992[label = "0"];
37913248[shape = box, label = "0x24282a0\n"];
37913248 -> 37952928[label = "0"];
37913248 -> 37961520[label = "1"];
}