incrNumUserThreads  135 mtcpinterface.cpp   ThreadSync::incrNumUserThreads();
incrNumUserThreads  102 threadsync.h       void incrNumUserThreads();