digraph cfg {
37896064[shape = box, label = "0x2423f80\n"];
37896064 -> 38399712[label = "0"];
38399712[shape = box, label = "0x249eee0\n"];
38399712 -> 38400160[label = "0"];
38861184[shape = box, label = "0x250f980\n"];
38861184 -> 37896064[label = "0"];
38860736[shape = box, label = "0x250f7c0\n"];
38860736 -> 38861184[label = "0"];
38403520[shape = box, label = "0x249fdc0\n"];
38403520 -> 38860736[label = "0"];
37754832[shape = box, label = "0x24017d0\n"];
37754832 -> 38403200[label = "0"];
38403200[shape = box, label = "0x249fc80\n"];
38403200 -> 38403520[label = "0"];
38852000[shape = box, label = "EXIT"];
38400160[shape = box, label = "0x249f0a0\n"];
38400160 -> 38852000[label = "0"];
37734176[shape = box, label = "ENTER"];
37734176 -> 37754832[label = "0"];
}