digraph cfg {
35833072[shape = box, label = "0x222c4f0\n"];
35833072 -> 34559328[label = "0"];
34571776[shape = box, label = "0x20f8600\n"];
34571776 -> 35833072[label = "0"];
34559328[shape = box, label = "EXIT"];
34993152[shape = box, label = "ENTER"];
34993152 -> 34571776[label = "0"];
}