digraph cfg {
38331600[shape = box, label = "0x248e4d0\n"];
38331600 -> 34688672[label = "0"];
33942720[shape = box, label = "0x205ecc0\n"];
33942720 -> 38331600[label = "0"];
34688672[shape = box, label = "0x2114ea0\n"];
34688672 -> 33843696[label = "0"];
33843696[shape = box, label = "EXIT"];
33936480[shape = box, label = "ENTER"];
33936480 -> 33942720[label = "0"];
}