digraph cfg {
43670256[shape = box, label = "0x29a5af0\n"];
43670256 -> 43670512[label = "0"];
43670512[shape = box, label = "0x29a5bf0\n"];
43670512 -> 42691952[label = "0"];
42691952[shape = box, label = "EXIT"];
42685792[shape = box, label = "ENTER"];
42685792 -> 43670256[label = "0"];
}