✏️ Editing: pthread_mutexattr_setprotocol.3p.gz