Create a new version of paste:

  402400:	48 89 5c 24 e0       	mov    %rbx,-0x20(%rsp)
  402405:	48 89 6c 24 e8       	mov    %rbp,-0x18(%rsp)
  40240a:	48 89 f3             	mov    %rsi,%rbx
  40240d:	4c 89 64 24 f0       	mov    %r12,-0x10(%rsp)
  402412:	4c 89 6c 24 f8       	mov    %r13,-0x8(%rsp)
  402417:	48 83 ec 48          	sub    $0x48,%rsp
  40241b:	49 89 fc             	mov    %rdi,%r12
  40241e:	49 89 d5             	mov    %rdx,%r13
  402421:	48 89 e7             	mov    %rsp,%rdi
  402424:	48 89 f2             	mov    %rsi,%rdx
  402427:	48 89 ce             	mov    %rcx,%rsi
  40242a:	4c 89 c5             	mov    %r8,%rbp
  40242d:	48 c7 04 24 00 00 00 	movq   $0x0,(%rsp)
  402434:	00 
  402435:	48 c7 44 24 10 00 00 	movq   $0x0,0x10(%rsp)
  40243c:	00 00 
  40243e:	e8 bd f7 ff ff       	callq  401c00 <fmpz_add@plt>
  402443:	48 8d 7c 24 10       	lea    0x10(%rsp),%rdi
  402448:	48 89 ea             	mov    %rbp,%rdx
  40244b:	48 89 de             	mov    %rbx,%rsi
  40244e:	e8 ad f7 ff ff       	callq  401c00 <fmpz_add@plt>
  402453:	48 8d 54 24 10       	lea    0x10(%rsp),%rdx
  402458:	48 89 e6             	mov    %rsp,%rsi
  40245b:	48 89 e7             	mov    %rsp,%rdi
  40245e:	e8 9d f7 ff ff       	callq  401c00 <fmpz_add@plt>
  402463:	48 8d 7c 24 10       	lea    0x10(%rsp),%rdi
  402468:	4c 89 ea             	mov    %r13,%rdx
  40246b:	48 89 de             	mov    %rbx,%rsi
  40246e:	e8 8d f7 ff ff       	callq  401c00 <fmpz_add@plt>
  402473:	48 8d 7c 24 10       	lea    0x10(%rsp),%rdi
  402478:	48 89 ea             	mov    %rbp,%rdx
  40247b:	48 89 e6             	mov    %rsp,%rsi
  40247e:	e8 9d f8 ff ff       	callq  401d20 <fmpz_addmul@plt>
  402483:	48 8d 54 24 10       	lea    0x10(%rsp),%rdx
  402488:	4c 89 e7             	mov    %r12,%rdi
  40248b:	48 89 de             	mov    %rbx,%rsi
  40248e:	e8 6d f7 ff ff       	callq  401c00 <fmpz_add@plt>
  402493:	48 8b 3c 24          	mov    (%rsp),%rdi
  402497:	48 89 f8             	mov    %rdi,%rax
  40249a:	48 c1 f8 3e          	sar    $0x3e,%rax
  40249e:	48 83 f8 01          	cmp    $0x1,%rax
  4024a2:	74 2c                	je     4024d0 <test_mpz_ternary_4+0xd0>
  4024a4:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
  4024a9:	48 89 fa             	mov    %rdi,%rdx
  4024ac:	48 c1 fa 3e          	sar    $0x3e,%rdx
  4024b0:	48 83 fa 01          	cmp    $0x1,%rdx
  4024b4:	74 2a                	je     4024e0 <test_mpz_ternary_4+0xe0>
  4024b6:	48 8b 5c 24 28       	mov    0x28(%rsp),%rbx
  4024bb:	48 8b 6c 24 30       	mov    0x30(%rsp),%rbp
  4024c0:	4c 8b 64 24 38       	mov    0x38(%rsp),%r12
  4024c5:	4c 8b 6c 24 40       	mov    0x40(%rsp),%r13
  4024ca:	48 83 c4 48          	add    $0x48,%rsp
  4024ce:	c3                   	retq   
  4024cf:	90                   	nop
  4024d0:	e8 8b f7 ff ff       	callq  401c60 <_fmpz_clear_mpz@plt>
  4024d5:	48 c7 04 24 00 00 00 	movq   $0x0,(%rsp)
  4024dc:	00 
  4024dd:	eb c5                	jmp    4024a4 <test_mpz_ternary_4+0xa4>
  4024df:	90                   	nop
  4024e0:	e8 7b f7 ff ff       	callq  401c60 <_fmpz_clear_mpz@plt>
  4024e5:	eb cf                	jmp    4024b6 <test_mpz_ternary_4+0xb6>
  4024e7:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
  4024ee:	00 00