__recursive_lock_destroy
__recursive_lock_destroy(recursive_lock *lock)
void __recursive_lock_destroy() {}