0x7fa4e52757f3 <select+19>:	cmp    $0xfffffffffffff001,%rax
0x7fa4e52757f9 <select+25>:	jae    0x7fa4e5275862 <select+130>
0x7fa4e52757fb <select+27>:	retq   
0x7fa4e52757fc <select+28>:	sub    $0x38,%rsp
0x7fa4e5275800 <select+32>:	mov    %rdi,0x8(%rsp)
0x7fa4e5275805 <select+37>:	mov    %rsi,0x10(%rsp)
0x7fa4e527580a <select+42>:	mov    %rdx,0x18(%rsp)
0x7fa4e527580f <select+47>:	mov    %rcx,0x20(%rsp)
0x7fa4e5275814 <select+52>:	mov    %r8,0x28(%rsp)
0x7fa4e5275819 <select+57>:	callq  0x7fa4e528b860
0x7fa4e527581e <select+62>:	mov    0x8(%rsp),%rdi
0x7fa4e5275823 <select+67>:	mov    0x10(%rsp),%rsi
0x7fa4e5275828 <select+72>:	mov    0x18(%rsp),%rdx
0x7fa4e527582d <select+77>:	mov    0x20(%rsp),%r10
0x7fa4e5275832 <select+82>:	mov    0x28(%rsp),%r8
0x7fa4e5275837 <select+87>:	mov    %rax,(%rsp)