digraph cfg {
37280080[shape = box, label = "0x238d950\n"];
37280080 -> 32005216[label = "0"];
37279728[shape = box, label = "0x238d7f0\n"];
37279728 -> 37280080[label = "0"];
36150992[shape = box, label = "0x2279ed0\n"];
36150992 -> 37279728[label = "0"];
32140976[shape = box, label = "0x1ea6eb0\n"];
32140976 -> 36150992[label = "0"];
37281856[shape = box, label = "0x238e040\n"];
37281856 -> 32140976[label = "0"];
32005216[shape = box, label = "EXIT"];
31999072[shape = box, label = "ENTER"];
31999072 -> 37281856[label = "0"];
}