65                                          [](std::vector<ExecutorAddr> Rs) {  in readUIntsWrapper()  argument
67                                            Result.reserve(Rs.size());  in readUIntsWrapper()
68                                            for (auto &R : Rs)  in readUIntsWrapper()
81              [](std::vector<ExecutorAddr> Rs) {  in readPointersWrapper()  argument
83                Result.reserve(Rs.size());  in readPointersWrapper()
84                for (auto &R : Rs)  in readPointersWrapper()
97              [](std::vector<ExecutorAddrRange> Rs) {  in readBuffersWrapper()  argument
99                Result.reserve(Rs.size());  in readBuffersWrapper()
100                for (auto &R : Rs) {  in readBuffersWrapper()
115                                          [](std::vector<ExecutorAddr> Rs) {  in readStringsWrapper()  argument
117                                            Result.reserve(Rs.size());  in readStringsWrapper()
118                                            for (auto &R : Rs)  in readStringsWrapper()