digraph cfg {
37522800[shape = box, label = "0x23c8d70\n"];
37522800 -> 37365296[label = "0"];
37372256[shape = box, label = "0x23a4160\n"];
37372256 -> 37522800[label = "0"];
37392704[shape = box, label = "0x23a9140\n"];
37392704 -> 37372256[label = "0"];
37365296[shape = box, label = "EXIT"];
37392112[shape = box, label = "ENTER"];
37392112 -> 37392704[label = "0"];
}