digraph cfg {
37289440[shape = box, label = "0x238fde0\n"];
37289440 -> 39890128[label = "0"];
40018464[shape = box, label = "0x262a220\n"];
40018464 -> 37289440[label = "0"];
39890128[shape = box, label = "EXIT"];
36537344[shape = box, label = "ENTER"];
36537344 -> 40018464[label = "0"];
}