dmtcp_ptrace_enabled  556 threadlist.cpp       if (dmtcp_ptrace_enabled == NULL) {
dmtcp_ptrace_enabled  567 threadlist.cpp       if (dmtcp_ptrace_enabled != NULL && dmtcp_ptrace_enabled()) {
dmtcp_ptrace_enabled  676 util_exec.cpp    if (dmtcp_ptrace_enabled != NULL && dmtcp_ptrace_enabled()) {