stderrFdBuf       356 dmtcp_restart.cpp   char stderrFdBuf[8];
stderrFdBuf       358 dmtcp_restart.cpp   sprintf(stderrFdBuf, "%d", PROTECTED_STDERR_FD);
stderrFdBuf       385 dmtcp_restart.cpp     const_cast<char*> ("--stderr-fd"), stderrFdBuf,