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