digraph cfg {
37600224[shape = box, label = "0x23dbbe0\n"];
37600224 -> 41083472[label = "0"];
40803088[shape = box, label = "0x26e9b10\n"];
40803088 -> 37600224[label = "0"];
38346208[shape = box, label = "0x2491de0\n"];
38346208 -> 40803088[label = "0"];
41083472[shape = box, label = "EXIT"];
37594112[shape = box, label = "ENTER"];
37594112 -> 38346208[label = "0"];
}