digraph cfg {
35795120[shape = box, label = "0x22230b0\n"];
35795120 -> 35860304[label = "0"];
36006432[shape = box, label = "0x2256a20\n"];
36006432 -> 35865824[label = "0"];
36006432 -> 36005936[label = "1"];
36006176[shape = box, label = "0x2256920\n"];
36006176 -> 36006432[label = "0"];
35865824[shape = box, label = "0x22344e0\n"];
35865824 -> 35795120[label = "0"];
35857344[shape = box, label = "0x22323c0\n"];
35857344 -> 36006176[label = "0"];
36005936[shape = box, label = "0x2256830\n"];
36005936 -> 35865824[label = "0"];
36064896[shape = box, label = "0x2264e80\n"];
36064896 -> 35857344[label = "0"];
35860304[shape = box, label = "EXIT"];
36766544[shape = box, label = "ENTER"];
36766544 -> 36064896[label = "0"];
}