digraph cfg {
42174240[shape = box, label = "0x2838720\n"];
42174240 -> 40893936[label = "0"];
42173888[shape = box, label = "0x28385c0\n"];
42173888 -> 42174240[label = "0"];
36748448[shape = box, label = "0x230bca0\n"];
36748448 -> 42173888[label = "0"];
41903504[shape = box, label = "0x27f6590\n"];
41903504 -> 36748448[label = "0"];
41903280[shape = box, label = "0x27f64b0\n"];
41903280 -> 41903504[label = "0"];
40893936[shape = box, label = "EXIT"];
41859952[shape = box, label = "ENTER"];
41859952 -> 41903280[label = "0"];
}