Mutex options: double lock returns an error code.
Source position: ptypes.inc line 260
const _PTHREAD_MUTEX_ERRORCHECK_NP = ;