digraph cfg {
36748256[shape = box, label = "0x230bbe0\n"];
36748256 -> 36739744[label = "0"];
40893936[shape = box, label = "0x26ffdf0\n"];
40893936 -> 36748256[label = "0"];
41903280[shape = box, label = "0x27f64b0\n"];
41903280 -> 40893936[label = "0"];
42174080[shape = box, label = "0x2838680\n"];
42174080 -> 36739744[label = "0"];
42174080 -> 41903280[label = "1"];
36739744[shape = box, label = "0x2309aa0\n"];
36739744 -> 36742240[label = "0"];
36742240[shape = box, label = "EXIT"];
41860048[shape = box, label = "0x27ebbd0\n"];
41860048 -> 42174080[label = "0"];
42173856[shape = box, label = "ENTER"];
42173856 -> 41860048[label = "0"];
}