digraph cfg {
38453536[shape = box, label = "0x24ac120\n"];
38453536 -> 39490368[label = "0"];
38521968[shape = box, label = "0x24bcc70\n"];
38521968 -> 38633216[label = "0"];
39803328[shape = box, label = "0x25f59c0\n"];
39803328 -> 38521968[label = "0"];
39490368[shape = box, label = "EXIT"];
38633216[shape = box, label = "0x24d7f00\n"];
38633216 -> 38453536[label = "0"];
38515648[shape = box, label = "ENTER"];
38515648 -> 39803328[label = "0"];
}