What does the definition of _pthread_fastlock on line 34 of /usr/include/bits/pthreadtypes.h look like?