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