__dso_handle       51 dmtcpworker.cpp extern void *__dso_handle __attribute__ ((__weak__,
__dso_handle      175 dmtcpworker.cpp                            __dso_handle) == 0);