digraph cfg {
39166592[shape = box, label = "0x255a280\n"];
39166592 -> 34984960[label = "0"];
38386976[shape = box, label = "0x249bd20\n"];
38386976 -> 39166592[label = "0"];
34984960[shape = box, label = "EXIT"];
34992864[shape = box, label = "ENTER"];
34992864 -> 38386976[label = "0"];
}