Edit: pthreadtypes.h