initialize_libpthread_wrappers  152 dmtcpworker.cpp     initialize_libpthread_wrappers();
initialize_libpthread_wrappers  287 syscallwrappers.h   void initialize_libpthread_wrappers();