0x7f353641da2a <pthread_mutex_lock+26>:	mov    0x10(%rdi),%esi
0x7f353641da2d <pthread_mutex_lock+29>:	mov    %rsi,%rax
0x7f353641da30 <pthread_mutex_lock+32>:	and    $0x7f,%eax
0x7f353641da33 <pthread_mutex_lock+35>:	cmp    $0x43,%rax
0x7f353641da37 <pthread_mutex_lock+39>:	
    jbe    0x7f353641da4d <pthread_mutex_lock+61>
0x7f353641da39 <pthread_mutex_lock+41>:	mov    $0x16,%eax
0x7f353641da3e <pthread_mutex_lock+46>:	add    $0x8,%rsp
0x7f353641da42 <pthread_mutex_lock+50>:	pop    %rbx
0x7f353641da43 <pthread_mutex_lock+51>:	pop    %rbp
0x7f353641da44 <pthread_mutex_lock+52>:	pop    %r12
0x7f353641da46 <pthread_mutex_lock+54>:	pop    %r13
0x7f353641da48 <pthread_mutex_lock+56>:	pop    %r14
0x7f353641da4a <pthread_mutex_lock+58>:	pop    %r15
0x7f353641da4c <pthread_mutex_lock+60>:	retq   
0x7f353641da4d <pthread_mutex_lock+61>:	
    lea    0x856c(%rip),%rdx        # 0x7f3536425fc0
0x7f353641da54 <pthread_mutex_lock+68>:	movslq (%rdx,%rax,4),%rax