digraph cfg {
42173888[shape = box, label = "0x28385c0\n"];
42173888 -> 40101408[label = "0"];
40894160[shape = box, label = "0x26ffed0\n"];
40894160 -> 41903472[label = "0"];
40101760[shape = box, label = "0x263e780\n"];
40101760 -> 41980224[label = "0"];
40101408[shape = box, label = "0x263e620\n"];
40101408 -> 40101760[label = "0"];
41903472[shape = box, label = "0x27f6570\n"];
41903472 -> 36748384[label = "0"];
40893936[shape = box, label = "0x26ffdf0\n"];
40893936 -> 40894160[label = "0"];
41980224[shape = box, label = "EXIT"];
36748384[shape = box, label = "0x230bc60\n"];
36748384 -> 42173888[label = "0"];
41859952[shape = box, label = "ENTER"];
41859952 -> 40893936[label = "0"];
}