user: Translate the below assembly code into C programming language:

```asm
<bn_mul_high>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %rdx,-0x58(%rbp)
  mov    %rcx,-0x60(%rbp)
  mov    %r8d,-0x64(%rbp)
  mov    %r9,-0x70(%rbp)
  mov    -0x64(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,-0x2c(%rbp)
  movl   $0x0,-0x28(%rbp)
  mov    -0x28(%rbp),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2c(%rbp),%edx
  mov    -0x50(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <bn_cmp_words@plt>
  mov    %eax,-0x38(%rbp)
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2c(%rbp),%edx
  mov    -0x58(%rbp),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <bn_cmp_words@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x38(%rbp),%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  add    $0x4,%eax
  cmp    $0x8,%eax
  ja     L52
  mov    %eax,%eax
  lea    0x0(,%rax,4),%rdx
  lea    D7(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D7(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%ecx
  mov    -0x50(%rbp),%rdx
  mov    -0x48(%rbp),%rax
  mov    %rax,%rdi
  call   <bn_sub_words@plt>
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,%ecx
  mov    %rsi,%rdx
  mov    %rax,%rsi
  call   <bn_sub_words@plt>
  jmp    L52
  movl   $0x1,-0x28(%rbp)
  jmp    L52
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%ecx
  mov    -0x50(%rbp),%rdx
  mov    -0x48(%rbp),%rax
  mov    %rax,%rdi
  call   <bn_sub_words@plt>
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,%ecx
  mov    %rax,%rdx
  call   <bn_sub_words@plt>
  movl   $0x1,-0x30(%rbp)
  jmp    L52
  movl   $0x1,-0x28(%rbp)
  jmp    L52
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x50(%rbp),%rsi
  mov    -0x48(%rbp),%rax
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_sub_words@plt>
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,%ecx
  mov    %rsi,%rdx
  mov    %rax,%rsi
  call   <bn_sub_words@plt>
  movl   $0x1,-0x30(%rbp)
  jmp    L52
  movl   $0x1,-0x28(%rbp)
  jmp    L52
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x50(%rbp),%rsi
  mov    -0x48(%rbp),%rax
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_sub_words@plt>
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x58(%rbp),%rax
  mov    %edx,%ecx
  mov    %rax,%rdx
  call   <bn_sub_words@plt>
  nop
L52:
  mov    -0x30(%rbp),%eax
  mov    %eax,-0x24(%rbp)
  cmpl   $0x8,-0x2c(%rbp)
  jne    L103
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rax,%rdx
  mov    -0x48(%rbp),%rcx
  mov    -0x70(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <bn_mul_comba8@plt>
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rax,%rdx
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x50(%rbp),%rax
  add    %rax,%rcx
  mov    -0x48(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <bn_mul_comba8@plt>
  jmp    L109
L103:
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x48(%rbp),%rsi
  mov    -0x70(%rbp),%rax
  mov    %rcx,%r8
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_mul_recursive@plt>
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x50(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%edx
  mov    -0x48(%rbp),%rax
  mov    %rcx,%r8
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_mul_recursive@plt>
L109:
  cmpq   $0x0,-0x60(%rbp)
  je     L317
  mov    -0x64(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x2c(%rbp),%ecx
  mov    -0x60(%rbp),%rdx
  mov    -0x48(%rbp),%rsi
  mov    -0x18(%rbp),%rax
  mov    %rax,%rdi
  call   <bn_add_words@plt>
  mov    %eax,-0x38(%rbp)
  jmp    L57
L317:
  movl   $0x0,-0x38(%rbp)
  mov    -0x48(%rbp),%rax
  mov    %rax,-0x18(%rbp)
L57:
  cmpl   $0x0,-0x30(%rbp)
  je     L120
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%ecx
  mov    -0x70(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %rax,%rsi
  call   <bn_sub_words@plt>
  mov    %eax,-0x30(%rbp)
  jmp    L264
L120:
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%ecx
  mov    -0x70(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %rax,%rsi
  call   <bn_add_words@plt>
  movl   $0x0,-0x30(%rbp)
L264:
  cmpq   $0x0,-0x60(%rbp)
  je     L313
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rax,%rdx
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x60(%rbp),%rax
  lea    (%rcx,%rax,1),%rsi
  mov    -0x64(%rbp),%ecx
  mov    -0x2c(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x70(%rbp),%rax
  lea    (%rcx,%rax,1),%rdi
  mov    -0x2c(%rbp),%eax
  mov    %eax,%ecx
  call   <bn_sub_words@plt>
  jmp    L99
L313:
  mov    -0x64(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  movl   $0x0,-0x3c(%rbp)
  jmp    L98
L128:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  neg    %rax
  mov    %rax,%rdx
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x18(%rbp),%rax
  add    %rcx,%rax
  mov    %edx,%edx
  mov    %rdx,(%rax)
  addl   $0x1,-0x3c(%rbp)
L98:
  mov    -0x3c(%rbp),%eax
  cmp    -0x2c(%rbp),%eax
  jl     L128
L99:
  cmpq   $0x0,-0x60(%rbp)
  je     L72
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x64(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x2c(%rbp),%ecx
  mov    -0x60(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %rax,%rdi
  call   <bn_add_words@plt>
  mov    %eax,-0x38(%rbp)
  jmp    L215
L72:
  mov    -0x64(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x18(%rbp)
  movl   $0x0,-0x38(%rbp)
L215:
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%ecx
  mov    -0x48(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %rax,%rsi
  call   <bn_add_words@plt>
  add    %eax,-0x38(%rbp)
  cmpl   $0x0,-0x24(%rbp)
  je     L316
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x70(%rbp),%rax
  mov    %edx,%ecx
  mov    %rax,%rdx
  call   <bn_sub_words@plt>
  sub    %eax,-0x38(%rbp)
  jmp    L229
L316:
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x70(%rbp),%rax
  mov    %edx,%ecx
  mov    %rax,%rdx
  call   <bn_add_words@plt>
  add    %eax,-0x38(%rbp)
L229:
  mov    -0x64(%rbp),%edx
  mov    -0x2c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x48(%rbp),%rsi
  mov    -0x48(%rbp),%rax
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_add_words@plt>
  mov    %eax,-0x34(%rbp)
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x48(%rbp),%rsi
  mov    -0x48(%rbp),%rax
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_add_words@plt>
  add    %eax,-0x34(%rbp)
  cmpl   $0x0,-0x24(%rbp)
  je     L53
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x48(%rbp),%rsi
  mov    -0x48(%rbp),%rax
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_sub_words@plt>
  sub    %eax,-0x34(%rbp)
  jmp    L209
L53:
  mov    -0x2c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  mov    -0x2c(%rbp),%edx
  mov    -0x48(%rbp),%rsi
  mov    -0x48(%rbp),%rax
  mov    %edx,%ecx
  mov    %rdi,%rdx
  mov    %rax,%rdi
  call   <bn_add_words@plt>
  add    %eax,-0x34(%rbp)
L209:
  cmpl   $0x0,-0x38(%rbp)
  je     L93
  movl   $0x0,-0x3c(%rbp)
  cmpl   $0x0,-0x38(%rbp)
  jle    L84
  mov    -0x38(%rbp),%eax
  cltq
  mov    %rax,-0x20(%rbp)
L23:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  and    $0xffffffff,%eax
  mov    %rax,-0x8(%rbp)
  mov    -0x3c(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x3c(%rbp)
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rax,%rdx
  mov    -0x8(%rbp),%rax
  mov    %rax,(%rdx)
  mov    -0x20(%rbp),%rax
  cmp    -0x8(%rbp),%rax
  seta   %al
  movzbl %al,%eax
  mov    %rax,-0x20(%rbp)
  cmpq   $0x0,-0x20(%rbp)
  jne    L23
  jmp    L93
L84:
  mov    -0x38(%rbp),%eax
  neg    %eax
  cltq
  mov    %rax,-0x20(%rbp)
L2:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  sub    -0x20(%rbp),%rax
  mov    %rax,%rcx
  mov    -0x3c(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x3c(%rbp)
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %rdx,(%rax)
  mov    -0x20(%rbp),%rax
  cmp    -0x8(%rbp),%rax
  seta   %al
  movzbl %al,%eax
  mov    %rax,-0x20(%rbp)
  cmpq   $0x0,-0x20(%rbp)
  jne    L2
L93:
  cmpl   $0x0,-0x34(%rbp)
  je     L138
  mov    -0x2c(%rbp),%eax
  mov    %eax,-0x3c(%rbp)
  cmpl   $0x0,-0x34(%rbp)
  jle    L146
  mov    -0x34(%rbp),%eax
  cltq
  mov    %rax,-0x20(%rbp)
L3:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  and    $0xffffffff,%eax
  mov    %rax,-0x8(%rbp)
  mov    -0x3c(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x3c(%rbp)
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rax,%rdx
  mov    -0x8(%rbp),%rax
  mov    %rax,(%rdx)
  mov    -0x20(%rbp),%rax
  cmp    -0x8(%rbp),%rax
  seta   %al
  movzbl %al,%eax
  mov    %rax,-0x20(%rbp)
  cmpq   $0x0,-0x20(%rbp)
  jne    L3
  jmp    L138
L146:
  mov    -0x34(%rbp),%eax
  neg    %eax
  cltq
  mov    %rax,-0x20(%rbp)
L63:
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  sub    -0x20(%rbp),%rax
  mov    %rax,%rcx
  mov    -0x3c(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x3c(%rbp)
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %rdx,(%rax)
  mov    -0x20(%rbp),%rax
  cmp    -0x8(%rbp),%rax
  seta   %al
  movzbl %al,%eax
  mov    %rax,-0x20(%rbp)
  cmpq   $0x0,-0x20(%rbp)
  jne    L63
L138:
  nop
  leave
  ret
```

assistant: ```c
void bn_mul_high(unsigned long *r, unsigned long *a, unsigned long *b, unsigned long *l, int n2, unsigned long *t) {
  int i, n;
  int c1, c2;
  int neg, oneg, zero;
  unsigned long ll, lc, *lp, *mp;
  n = n2 / 2;
  neg = zero = 0;
  c1 = bn_cmp_words(&(a[0]), &(a[n]), n);
  c2 = bn_cmp_words(&(b[n]), &(b[0]), n);
  switch (c1 * 3 + c2) {
  case -4:
    bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n);
    bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n);
    break;
  case -3:
    zero = 1;
    break;
  case -2:
    bn_sub_words(&(r[0]), &(a[n]), &(a[0]), n);
    bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n);
    neg = 1;
    break;
  case -1:
  case 0:
  case 1:
    zero = 1;
    break;
  case 2:
    bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n);
    bn_sub_words(&(r[n]), &(b[0]), &(b[n]), n);
    neg = 1;
    break;
  case 3:
    zero = 1;
    break;
  case 4:
    bn_sub_words(&(r[0]), &(a[0]), &(a[n]), n);
    bn_sub_words(&(r[n]), &(b[n]), &(b[0]), n);
    break;
  }
  oneg = neg;
  if (n == 8) {
    bn_mul_comba8(&(t[0]), &(r[0]), &(r[n]));
    bn_mul_comba8(r, &(a[n]), &(b[n]));
  } else {
    bn_mul_recursive(&(t[0]), &(r[0]), &(r[n]), n, &(t[n2]));
    bn_mul_recursive(r, &(a[n]), &(b[n]), n, &(t[n2]));
  }
  if (l != NULL) {
    lp = &(t[n2 + n]);
    c1 = (int)(bn_add_words(lp, &(r[0]), &(l[0]), n));
  } else {
    c1 = 0;
    lp = &(r[0]);
  }
  if (neg)
    neg = (int)(bn_sub_words(&(t[n2]), lp, &(t[0]), n));
  else {
    bn_add_words(&(t[n2]), lp, &(t[0]), n);
    neg = 0;
  }
  if (l != NULL) {
    bn_sub_words(&(t[n2 + n]), &(l[n]), &(t[n2]), n);
  } else {
    lp = &(t[n2 + n]);
    mp = &(t[n2]);
    for (i = 0; i < n; i++)
      lp[i] = ((~mp[i]) + 1) & (0xffffffffL);
  }
  if (l != NULL) {
    lp = &(t[n2]);
    c1 = (int)(bn_add_words(lp, &(t[n2 + n]), &(l[0]), n));
  } else {
    lp = &(t[n2 + n]);
    c1 = 0;
  }
  c1 += (int)(bn_add_words(&(t[n2]), lp, &(r[0]), n));
  if (oneg)
    c1 -= (int)(bn_sub_words(&(t[n2]), &(t[n2]), &(t[0]), n));
  else
    c1 += (int)(bn_add_words(&(t[n2]), &(t[n2]), &(t[0]), n));
  c2 = (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n2 + n]), n));
  c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(r[n]), n));
  if (oneg)
    c2 -= (int)(bn_sub_words(&(r[0]), &(r[0]), &(t[n]), n));
  else
    c2 += (int)(bn_add_words(&(r[0]), &(r[0]), &(t[n]), n));
  if (c1 != 0) {
    i = 0;
    if (c1 > 0) {
      lc = c1;
      do {
        ll = (r[i] + lc) & (0xffffffffL);
        r[i++] = ll;
        lc = (lc > ll);
      } while (lc);
    } else {
      lc = -c1;
      do {
        ll = r[i];
        r[i++] = (ll - lc) & (0xffffffffL);
        lc = (lc > ll);
      } while (lc);
    }
  }
  if (c2 != 0) {
    i = n;
    if (c2 > 0) {
      lc = c2;
      do {
        ll = (r[i] + lc) & (0xffffffffL);
        r[i++] = ll;
        lc = (lc > ll);
      } while (lc);
    } else {
      lc = -c2;
      do {
        ll = r[i];
        r[i++] = (ll - lc) & (0xffffffffL);
        lc = (lc > ll);
      } while (lc);
    }
  }
}
```