user: What would the C source look like for the assembly code provided here:

```asm
<bdyadd_>:
  endbr64
  push   %r15
  lea    -0x4(%rcx),%r15
  push   %r14
  lea    D123(%rip),%r14
  push   %r13
  lea    D82(%rip),%r13
  push   %r12
  lea    -0x4(%r9),%r12
  push   %rbp
  mov    %r8,%rbp
  push   %rbx
  mov    %rcx,%rbx
  lea    -0x4(%rbp),%r10
  sub    $0x18,%rsp
  mov    (%rdi),%eax
  mov    0x50(%rsp),%r8
  mov    %r10,0x8(%rsp)
  mov    %eax,D143(%rip)
  movslq (%rsi),%rax
  mov    (%rdx),%edx
  lea    (%r12,%rax,4),%rcx
  mov    %eax,D143(%rip)
  movslq (%rcx),%rax
  mov    %edx,D46(%rip)
  mov    %eax,D203(%rip)
  lea    (%r10,%rax,4),%rdx
  movslq (%r8),%rax
  mov    (%rdx),%esi
  mov    %eax,(%rdx)
  mov    D143(%rip),%edx
  neg    %edx
  mov    %edx,(%r15,%rax,4)
  movslq (%r8),%rax
  mov    %esi,(%r10,%rax,4)
  mov    (%r8),%eax
  mov    %eax,(%rcx)
  add    $0x1,%eax
  mov    %eax,(%r8)
  movslq D203(%rip),%rax
  lea    (%r15,%rax,4),%rdx
  mov    (%rdx),%eax
  neg    %eax
  mov    %eax,D203(%rip)
  mov    %eax,(%rdx)
  mov    %eax,D181(%rip)
  jmp    L49
  nopw   0x0(%rax,%rax,1)
L17:
  movslq D203(%rip),%rax
  lea    (%r15,%rax,4),%rdx
  mov    (%rdx),%eax
  neg    %eax
  mov    %eax,D206(%rip)
  mov    %eax,(%rdx)
L49:
  cltq
  mov    %rbp,%rcx
  mov    %rbx,%rdx
  mov    %r14,%rsi
  mov    (%r12,%rax,4),%eax
  mov    %r13,%rdi
  mov    %r8,0x50(%rsp)
  mov    %eax,D206(%rip)
  call   <insert_@plt>
  mov    D46(%rip),%ecx
  mov    0x50(%rsp),%r8
  cmp    %ecx,D206(%rip)
  jne    L17
  movslq (%r8),%rax
  mov    D143(%rip),%edx
  mov    0x8(%rsp),%rbx
  mov    %edx,(%r15,%rax,4)
  movslq (%r8),%rdx
  mov    %rax,%rdi
  mov    %rdx,%rax
  add    $0x1,%eax
  mov    %eax,(%rbx,%rdx,4)
  mov    (%r8),%eax
  movslq D181(%rip),%rdx
  add    $0x1,%eax
  mov    %eax,(%r8)
  mov    %edx,D206(%rip)
  cmp    %edx,%ecx
  je     L5
  cltq
  mov    %edx,(%r15,%rax,4)
  movslq (%r8),%rsi
  mov    %rsi,%rax
  add    $0x1,%eax
  mov    %eax,(%rbx,%rsi,4)
  addl   $0x1,(%r8)
  movslq (%r12,%rdx,4),%rax
  mov    %eax,D206(%rip)
  movslq (%r15,%rax,4),%rax
  cmp    %eax,%ecx
  je     L47
  nop
L41:
  movslq (%r8),%rdx
  mov    0x8(%rsp),%rbx
  mov    %eax,(%r15,%rdx,4)
  movslq (%r8),%rsi
  mov    %rsi,%rdx
  add    $0x1,%edx
  mov    %edx,(%rbx,%rsi,4)
  addl   $0x1,(%r8)
  movslq (%r12,%rax,4),%rax
  mov    %eax,D206(%rip)
  movslq (%r15,%rax,4),%rax
  cmp    %eax,%ecx
  jne    L41
L47:
  mov    %eax,D206(%rip)
  mov    (%r8),%eax
L5:
  cltq
  neg    %ecx
  mov    0x8(%rsp),%rbx
  mov    %ecx,(%r15,%rax,4)
  movslq (%r8),%rax
  mov    %edi,(%rbx,%rax,4)
  mov    (%r8),%eax
  movslq D143(%rip),%rdx
  mov    %eax,(%r12,%rdx,4)
  add    $0x1,%eax
  mov    %eax,(%r8)
  add    $0x18,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
int bdyadd_(int *kk, int *i1, int *i2, int *list, int *lptr, int *lend, int *lnew) {
  static int k, n1, n2, lp, lsav, nsav, next;
  --lend;
  --lptr;
  --list;
  k = *kk;
  n1 = *i1;
  n2 = *i2;
  lp = lend[n1];
  lsav = lptr[lp];
  lptr[lp] = *lnew;
  list[*lnew] = -k;
  lptr[*lnew] = lsav;
  lend[n1] = *lnew;
  ++(*lnew);
  next = -list[lp];
  list[lp] = next;
  nsav = next;
L1:
  lp = lend[next];
  insert_(&k, &lp, &list[1], &lptr[1], lnew);
  if (next == n2) {
    goto L2;
  }
  next = -list[lp];
  list[lp] = next;
  goto L1;
L2:
  lsav = *lnew;
  list[*lnew] = n1;
  lptr[*lnew] = *lnew + 1;
  ++(*lnew);
  next = nsav;
L3:
  if (next == n2) {
    goto L4;
  }
  list[*lnew] = next;
  lptr[*lnew] = *lnew + 1;
  ++(*lnew);
  lp = lend[next];
  next = list[lp];
  goto L3;
L4:
  list[*lnew] = -n2;
  lptr[*lnew] = lsav;
  lend[k] = *lnew;
  ++(*lnew);
  return 0;
}
```