digraph cfg {
37756400[shape = box, label = "0x2401df0\n"];
37756400 -> 37004288[label = "0"];
37010416[shape = box, label = "0x234bbf0\n"];
37010416 -> 37756400[label = "0"];
37146080[shape = box, label = "0x236cde0\n"];
37146080 -> 37010416[label = "0"];
41410208[shape = box, label = "0x277dea0\n"];
41410208 -> 37146080[label = "0"];
40381952[shape = box, label = "0x2682e00\n"];
40381952 -> 41410208[label = "0"];
37004288[shape = box, label = "EXIT"];
41576928[shape = box, label = "ENTER"];
41576928 -> 40381952[label = "0"];
}