digraph cfg {
38439392[shape = box, label = "0x24a89e0\n"];
38439392 -> 39490368[label = "0"];
38633312[shape = box, label = "0x24d7f60\n"];
38633312 -> 38439392[label = "0"];
38521872[shape = box, label = "0x24bcc10\n"];
38521872 -> 38633312[label = "0"];
38521872 -> 38453552[label = "1"];
39803328[shape = box, label = "0x25f59c0\n"];
39803328 -> 38521872[label = "0"];
38453552[shape = box, label = "0x24ac130\n"];
38453552 -> 38633312[label = "0"];
39490368[shape = box, label = "EXIT"];
38515648[shape = box, label = "ENTER"];
38515648 -> 39803328[label = "0"];
}