digraph cfg {
37581632[shape = box, label = "0x23d7340\n"];
37581632 -> 38840720[label = "0"];
37679904[shape = box, label = "0x23ef320\n"];
37679904 -> 37581632[label = "0"];
38840720[shape = box, label = "EXIT"];
37576096[shape = box, label = "ENTER"];
37576096 -> 37679904[label = "0"];
}