digraph cfg {
39001568[shape = box, label = "0x2531de0\n"];
39001568 -> 42686608[label = "0"];
38255584[shape = box, label = "0x247bbe0\n"];
38255584 -> 39001568[label = "0"];
38391248[shape = box, label = "0x249cdd0\n"];
38391248 -> 38255584[label = "0"];
42686608[shape = box, label = "EXIT"];
38249472[shape = box, label = "ENTER"];
38249472 -> 38391248[label = "0"];
}