0x7f16cadb2423 <pthread_mutex_lock+19>:	mov    0x10(%rdi),%esi
0x7f16cadb2426 <pthread_mutex_lock+22>:	mov    %rsi,%rax
0x7f16cadb2429 <pthread_mutex_lock+25>:	and    $0x7f,%eax
0x7f16cadb242c <pthread_mutex_lock+28>:	cmp    $0x43,%rax
0x7f16cadb2430 <pthread_mutex_lock+32>:	
    jbe    0x7f16cadb2440 <pthread_mutex_lock+48>
0x7f16cadb2432 <pthread_mutex_lock+34>:	mov    $0x16,%eax
0x7f16cadb2437 <pthread_mutex_lock+39>:	pop    %rbx
0x7f16cadb2438 <pthread_mutex_lock+40>:	pop    %rbp
0x7f16cadb2439 <pthread_mutex_lock+41>:	pop    %r12
0x7f16cadb243b <pthread_mutex_lock+43>:	pop    %r13
0x7f16cadb243d <pthread_mutex_lock+45>:	pop    %r14
0x7f16cadb243f <pthread_mutex_lock+47>:	retq   
0x7f16cadb2440 <pthread_mutex_lock+48>:	
    lea    0x81a9(%rip),%rdx        # 0x7f16cadba5f0
0x7f16cadb2447 <pthread_mutex_lock+55>:	movslq (%rdx,%rax,4),%rax
0x7f16cadb244b <pthread_mutex_lock+59>:	add    %rdx,%rax
0x7f16cadb244e <pthread_mutex_lock+62>:	jmpq   *%rax