0000000000402d70 <test_fmpzxx_asymadd_1>:
  402d70:   48 89 5c 24 d0          mov    %rbx,-0x30(%rsp)
  402d75:   48 89 6c 24 d8          mov    %rbp,-0x28(%rsp)
  402d7a:   49 89 f1                mov    %rsi,%r9
  402d7d:   4c 89 64 24 e0          mov    %r12,-0x20(%rsp)
  402d82:   4c 89 6c 24 e8          mov    %r13,-0x18(%rsp)
  402d87:   48 89 fd                mov    %rdi,%rbp
  402d8a:   4c 89 74 24 f0          mov    %r14,-0x10(%rsp)
  402d8f:   4c 89 7c 24 f8          mov    %r15,-0x8(%rsp)
  402d94:   48 81 ec 78 01 00 00    sub    $0x178,%rsp
  402d9b:   4c 89 84 24 88 00 00    mov    %r8,0x88(%rsp)
  402da2:   00
  402da3:   48 89 74 24 10          mov    %rsi,0x10(%rsp)
  402da8:   48 89 cb                mov    %rcx,%rbx
  402dab:   48 89 54 24 30          mov    %rdx,0x30(%rsp)
  402db0:   48 89 4c 24 40          mov    %rcx,0x40(%rsp)
  402db5:   48 8d bc 24 a8 00 00    lea    0xa8(%rsp),%rdi
  402dbc:   00
  402dbd:   48 89 74 24 50          mov    %rsi,0x50(%rsp)
  402dc2:   48 89 54 24 58          mov    %rdx,0x58(%rsp)
  402dc7:   48 8d 74 24 10          lea    0x10(%rsp),%rsi
  402dcc:   48 89 4c 24 78          mov    %rcx,0x78(%rsp)
  402dd1:   b9 12 00 00 00          mov    $0x12,%ecx
  402dd6:   48 c7 04 24 00 00 00    movq   $0x0,(%rsp)
  402ddd:   00
  402dde:   f3 48 a5                rep movsq %ds:(%rsi),%es:(%rdi)
  402de1:   4c 89 ce                mov    %r9,%rsi
  402de4:   48 89 e7                mov    %rsp,%rdi
  402de7:   4c 8b bc 24 c8 00 00    mov    0xc8(%rsp),%r15
  402dee:   00
  402def:   4c 8b b4 24 10 01 00    mov    0x110(%rsp),%r14
  402df6:   00
  402df7:   4c 8b a4 24 a8 00 00    mov    0xa8(%rsp),%r12
  402dfe:   00
  402dff:   4c 8b ac 24 20 01 00    mov    0x120(%rsp),%r13
  402e06:   00
  402e07:   e8 34 ee ff ff          callq  401c40 <fmpz_add@plt>
  402e0c:   48 89 e2                mov    %rsp,%rdx
  402e0f:   48 89 de                mov    %rbx,%rsi
  402e12:   48 89 e7                mov    %rsp,%rdi
  402e15:   e8 26 ee ff ff          callq  401c40 <fmpz_add@plt>
  402e1a:   48 89 e2                mov    %rsp,%rdx
  402e1d:   4c 89 fe                mov    %r15,%rsi
  402e20:   48 89 e7                mov    %rsp,%rdi
  402e23:   e8 18 ee ff ff          callq  401c40 <fmpz_add@plt>
  402e28:   4c 89 f2                mov    %r14,%rdx
  402e2b:   48 89 e6                mov    %rsp,%rsi
  402e2e:   48 89 e7                mov    %rsp,%rdi
  402e31:   e8 0a ee ff ff          callq  401c40 <fmpz_add@plt>
  402e36:   4c 89 ea                mov    %r13,%rdx
  402e39:   48 89 e6                mov    %rsp,%rsi
  402e3c:   48 89 e7                mov    %rsp,%rdi
  402e3f:   e8 fc ed ff ff          callq  401c40 <fmpz_add@plt>
  402e44:   48 89 ef                mov    %rbp,%rdi
  402e47:   48 89 e2                mov    %rsp,%rdx
  402e4a:   4c 89 e6                mov    %r12,%rsi
  402e4d:   e8 ee ed ff ff          callq  401c40 <fmpz_add@plt>
  402e52:   48 8b 3c 24             mov    (%rsp),%rdi
  402e56:   48 89 f8                mov    %rdi,%rax
  402e59:   48 c1 f8 3e             sar    $0x3e,%rax
  402e5d:   48 83 f8 01             cmp    $0x1,%rax
  402e61:   74 3d                   je     402ea0 <test_fmpzxx_asymadd_1+0x130>
  402e63:   48 8b 9c 24 48 01 00    mov    0x148(%rsp),%rbx
  402e6a:   00
  402e6b:   48 8b ac 24 50 01 00    mov    0x150(%rsp),%rbp
  402e72:   00
  402e73:   4c 8b a4 24 58 01 00    mov    0x158(%rsp),%r12
  402e7a:   00
  402e7b:   4c 8b ac 24 60 01 00    mov    0x160(%rsp),%r13
  402e82:   00
  402e83:   4c 8b b4 24 68 01 00    mov    0x168(%rsp),%r14
  402e8a:   00
  402e8b:   4c 8b bc 24 70 01 00    mov    0x170(%rsp),%r15
  402e92:   00
  402e93:   48 81 c4 78 01 00 00    add    $0x178,%rsp
  402e9a:   c3                      retq
  402e9b:   0f 1f 44 00 00          nopl   0x0(%rax,%rax,1)
  402ea0:   e8 fb ed ff ff          callq  401ca0 <_fmpz_clear_mpz@plt>
  402ea5:   eb bc                   jmp    402e63 <test_fmpzxx_asymadd_1+0xf3>
  402ea7:   66 0f 1f 84 00 00 00    nopw   0x0(%rax,%rax,1)
  402eae:   00 00