for (std::size_t i = 0; i < count; i++) {
XBT_DEBUG("Looking for symbol %zd, addr = '%s'", i, addrs[i].c_str());
if (fgets(line_func, 1024, pipe)) {
for (std::size_t i = 0; i < count; i++) {
XBT_DEBUG("Looking for symbol %zd, addr = '%s'", i, addrs[i].c_str());
if (fgets(line_func, 1024, pipe)) {