digraph cfg {
41029440[shape = box, label = "0x2720f40\n"];
41029440 -> 41023792[label = "0"];
41014704[shape = box, label = "0x271d5b0\n"];
41014704 -> 41029440[label = "0"];
41023792[shape = box, label = "EXIT"];
41030928[shape = box, label = "ENTER"];
41030928 -> 41014704[label = "0"];
}