line_func[strlen(line_func) - 1] = '\0';
} else {
XBT_VERB("Cannot run fgets to look for symbol %zu, addr %s", i, addrs[i].c_str());
line_func[strlen(line_func) - 1] = '\0';
} else {
XBT_VERB("Cannot run fgets to look for symbol %zu, addr %s", i, addrs[i].c_str());