namelen           336 dmtcpplugin.cpp   int namelen = strlen(name);
namelen           373 dmtcpplugin.cpp        if (strncmp(start_ptr, name, namelen) == 0) {