The text d4395610e5dd, as Debian 10 (Buster) shipped it.
TSMutexUnlock API function
TSMutexUnlock(3ts) on Linux now
