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