digraph cfg {
35772832[shape = box, label = "0x221d9a0\n"];
35772832 -> 36537600[label = "0"];
35927472[shape = box, label = "0x22435b0\n"];
35927472 -> 39284112[label = "0"];
35927472 -> 35791808[label = "1"];
41075280[shape = box, label = "0x272c250\n"];
41075280 -> 35772832[label = "0"];
41076864[shape = box, label = "0x272c880\n"];
41076864 -> 35927472[label = "0"];
39284112[shape = box, label = "0x2576d90\n"];
39284112 -> 41075280[label = "0"];
35791808[shape = box, label = "0x22223c0\n"];
35791808 -> 36537600[label = "0"];
41061776[shape = box, label = "0x2728d90\n"];
41061776 -> 41076640[label = "0"];
41076640[shape = box, label = "0x272c7a0\n"];
41076640 -> 41076864[label = "0"];
36537600[shape = box, label = "EXIT"];
35775488[shape = box, label = "ENTER"];
35775488 -> 41061776[label = "0"];
}