Edit: pthreadtypes-arch.h