digraph cfg {
34576048[shape = box, label = "0x20f96b0\n"];
34576048 -> 34477776[label = "0"];
35728528[shape = box, label = "EXIT"];
34477776[shape = box, label = "0x20e16d0\n"];
34477776 -> 35728528[label = "0"];
35774720[shape = box, label = "ENTER"];
35774720 -> 34576048[label = "0"];
}