ENV_VAR_DMTCP_DUMMY  527 util_exec.cpp              ENV_VAR_DMTCP_DUMMY "=",
ENV_VAR_DMTCP_DUMMY  528 util_exec.cpp              strlen(ENV_VAR_DMTCP_DUMMY "="));