digraph cfg {
38820128[shape = box, label = "0x2505920\n"];
38820128 -> 41268832[label = "0"];
41268832[shape = box, label = "0x275b660\n"];
41268832 -> 41259264[label = "0"];
39430512[shape = box, label = "0x259a970\n"];
39430512 -> 38820128[label = "0"];
42149936[shape = box, label = "0x2832830\n"];
42149936 -> 39430512[label = "0"];
38684528[shape = box, label = "0x24e4770\n"];
38684528 -> 42149936[label = "0"];
42785808[shape = box, label = "0x28cdc10\n"];
42785808 -> 38684528[label = "0"];
41261184[shape = box, label = "EXIT"];
41259264[shape = box, label = "0x2759100\n"];
41259264 -> 41261184[label = "0"];
38663264[shape = box, label = "ENTER"];
38663264 -> 42785808[label = "0"];
}