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

```asm
<_glp_lib_bigdiv>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %rdx,%r13
  push   %r12
  movslq %edi,%r12
  push   %rbp
  mov    %rcx,%rbp
  push   %rbx
  mov    %esi,%ebx
  sub    $0x18,%rsp
  test   %r12d,%r12d
  js     L19
L409:
  movslq %ebx,%r14
  lea    (%r14,%r14,1),%rax
  mov    %rax,(%rsp)
  lea    -0x2(%rbp,%rax,1),%r15
  test   %ebx,%ebx
  jle    L354
  cmpw   $0x0,(%r15)
  lea    D45(%rip),%rsi
  je     L350
  cmp    $0x1,%ebx
  je     L68
L206:
  movzwl (%r15),%ecx
L111:
  add    $0x1,%ecx
  mov    $0x10000,%eax
  xor    %edx,%edx
  div    %ecx
  mov    %eax,%r8d
  lea    (%r12,%rbx,1),%eax
  movslq %eax,%rdx
  lea    0x0(%r13,%rdx,2),%r9
  cmp    $0x1,%r8w
  je     L191
  test   %eax,%eax
  jle    L399
  sub    $0x1,%eax
  movzwl %r8w,%edi
  mov    %r13,%rcx
  lea    0x2(%r13,%rax,2),%rsi
  xor    %eax,%eax
  nopl   0x0(%rax)
L12:
  movzwl (%rcx),%edx
  add    $0x2,%rcx
  imul   %edi,%edx
  add    %edx,%eax
  mov    %ax,-0x2(%rcx)
  shr    $0x10,%eax
  cmp    %rcx,%rsi
  jne    L12
L227:
  mov    %ax,(%r9)
  test   %ebx,%ebx
  jle    L284
  lea    -0x1(%rbx),%eax
  movzwl %r8w,%edi
  mov    %rbp,%rcx
  lea    0x2(%rbp,%rax,2),%rsi
  xor    %eax,%eax
  nopl   0x0(%rax)
L245:
  movzwl (%rcx),%edx
  add    $0x2,%rcx
  imul   %edi,%edx
  add    %edx,%eax
  mov    %ax,-0x2(%rcx)
  shr    $0x10,%eax
  cmp    %rcx,%rsi
  jne    L245
L284:
  test   %r12d,%r12d
  js     L250
L40:
  movslq %r12d,%rax
  lea    (%rax,%r14,1),%rdx
  lea    0x0(%r13,%rax,2),%rsi
  lea    0x0(%r13,%rdx,2),%rdi
L224:
  movzwl (%r15),%r9d
  movzwl -0x2(%rdi),%r10d
  movzwl (%rdi),%eax
  mov    %r9d,%ecx
  mov    %r10d,%edx
  cmp    %r9w,%ax
  jae    L148
  shl    $0x10,%eax
  xor    %edx,%edx
  add    %r10d,%eax
  div    %r9d
  mov    %eax,%r9d
  test   %ax,%ax
  jne    L283
L313:
  sub    $0x1,%r12d
  mov    %r9w,(%rdi)
  sub    $0x2,%rsi
  sub    $0x2,%rdi
  cmp    $0xffffffff,%r12d
  jne    L224
L250:
  cmp    $0x1,%r8w
  jbe    L264
  sub    $0x1,%ebx
  js     L264
  movslq %ebx,%rbx
  movzwl %r8w,%ecx
  xor    %edx,%edx
  mov    %rbx,%rsi
  nopw   0x0(%rax,%rax,1)
L362:
  movzwl 0x0(%r13,%rsi,2),%eax
  shl    $0x10,%edx
  add    %edx,%eax
  xor    %edx,%edx
  div    %ecx
  mov    %ax,0x0(%r13,%rsi,2)
  sub    $0x1,%rsi
  test   %esi,%esi
  jns    L362
  xor    %edx,%edx
  nop
L228:
  movzwl 0x0(%rbp,%rbx,2),%eax
  shl    $0x10,%edx
  add    %edx,%eax
  xor    %edx,%edx
  div    %ecx
  mov    %ax,0x0(%rbp,%rbx,2)
  sub    $0x1,%rbx
  test   %ebx,%ebx
  jns    L228
L264:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L354:
  lea    D45(%rip),%rsi
  xor    %eax,%eax
  mov    $0x89,%edx
  lea    D27(%rip),%rdi
  mov    %rsi,0x8(%rsp)
  call   <glp_assert_@plt>
  movzwl (%r15),%ecx
  mov    0x8(%rsp),%rsi
  test   %cx,%cx
  jne    L111
L350:
  xor    %eax,%eax
  mov    $0x8a,%edx
  lea    D43(%rip),%rdi
  call   <glp_assert_@plt>
  cmp    $0x1,%ebx
  jne    L206
L68:
  test   %r12d,%r12d
  js     L31
  movzwl 0x0(%rbp),%esi
  lea    0x0(%r13,%r12,2),%rdi
  lea    -0x2(%r13),%r8
  xor    %edx,%edx
  nopl   (%rax)
L121:
  movzwl (%rdi),%ecx
  shl    $0x10,%edx
  sub    $0x2,%rdi
  add    %edx,%ecx
  xor    %edx,%edx
  mov    %ecx,%eax
  div    %esi
  xor    %edx,%edx
  mov    %ax,0x4(%rdi)
  movzwl 0x0(%rbp),%esi
  mov    %ecx,%eax
  div    %esi
  cmp    %rdi,%r8
  jne    L121
L415:
  mov    %dx,0x0(%r13)
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L148:
  add    %r9d,%r10d
  cmp    $0xffff,%r10d
  ja     L325
  add    %r9d,%edx
  mov    $0xffffffff,%r9d
L283:
  mov    (%rsp),%rax
  movzwl -0x4(%rbp,%rax,1),%r10d
L226:
  movzwl %r9w,%eax
  imul   %r10d,%eax
  mov    %eax,%r11d
  shr    $0x10,%r11d
  cmp    %dx,%r11w
  ja     L388
  jb     L182
  cmp    %ax,-0x4(%rdi)
  jae    L182
L388:
  sub    $0x1,%r9d
  add    %cx,%dx
  jae    L226
L182:
  test   %r9w,%r9w
  je     L313
  test   %ebx,%ebx
  jle    L313
  nopl   0x0(%rax,%rax,1)
L294:
  movzwl %r9w,%r10d
  xor    %edx,%edx
  xor    %r11d,%r11d
  nopl   0x0(%rax)
L247:
  movzwl 0x0(%rbp,%rdx,2),%eax
  imul   %r10d,%eax
  add    %eax,%r11d
  movzwl (%rsi,%rdx,2),%eax
  cmp    %ax,%r11w
  jbe    L132
  lea    0x10000(%r11),%ecx
  sub    %r11d,%eax
  mov    %ax,(%rsi,%rdx,2)
  shr    $0x10,%ecx
  add    $0x1,%rdx
  mov    %ecx,%r11d
  cmp    %r14,%rdx
  jne    L247
L57:
  cmp    %r11w,(%rdi)
  jae    L313
  sub    $0x1,%r9d
  xor    %ecx,%ecx
  xor    %eax,%eax
  nopl   0x0(%rax)
L413:
  movzwl (%rsi,%rcx,2),%edx
  movzwl 0x0(%rbp,%rcx,2),%r10d
  add    %r10d,%edx
  add    %edx,%eax
  mov    %ax,(%rsi,%rcx,2)
  add    $0x1,%rcx
  shr    $0x10,%eax
  cmp    %rcx,%r14
  jne    L413
  jmp    L313
  nopl   0x0(%rax)
L191:
  xor    %eax,%eax
  mov    %ax,(%r9)
  test   %r12d,%r12d
  jns    L40
  jmp    L264
  nopl   0x0(%rax)
L19:
  mov    $0x88,%edx
  lea    D45(%rip),%rsi
  lea    D6(%rip),%rdi
  xor    %eax,%eax
  call   <glp_assert_@plt>
  jmp    L409
  nopw   0x0(%rax,%rax,1)
L325:
  mov    $0xffffffff,%r9d
  test   %ebx,%ebx
  jg     L294
  jmp    L313
  nopl   0x0(%rax,%rax,1)
L399:
  xor    %eax,%eax
  jmp    L227
  nop
L132:
  sub    %r11d,%eax
  shr    $0x10,%r11d
  mov    %ax,(%rsi,%rdx,2)
  add    $0x1,%rdx
  cmp    %rdx,%r14
  jne    L247
  jmp    L57
L31:
  xor    %edx,%edx
  jmp    L415
```

tool_calls: name: disassemble_data
arguments: data_tag: D45
data_type: string
name: disassemble_data
arguments: data_tag: D27
data_type: string
name: disassemble_data
arguments: data_tag: D43
data_type: string
name: disassemble_data
arguments: data_tag: D6
data_type: string

tool: D45: /scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c

tool: D27: m >= 1

tool: D43: y[m-1] != 0

tool: D6: n >= 0

assistant: ```c
void _glp_lib_bigdiv(int n, int m, unsigned short x[], unsigned short y[]) {
  int i, j;
  unsigned int t;
  unsigned short d, q, r;
  ((void)((n >= 0) || (glp_assert_("n >= 0", "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c", 136), 1)));
  ((void)((m >= 1) || (glp_assert_("m >= 1", "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c", 137), 1)));
  ((void)((y[m - 1] != 0) || (glp_assert_("y[m-1] != 0", "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/Erez-Buchnik/Bouma2/refs/heads/master/dep/glpk/glplib01.c", 138), 1)));
  if (m == 1) {
    d = 0;
    for (i = n; i >= 0; i--) {
      t = ((unsigned int)d << 16) + (unsigned int)x[i];
      x[i + 1] = (unsigned short)(t / y[0]);
      d = (unsigned short)(t % y[0]);
    }
    x[0] = d;
    goto done;
  }
  d = (unsigned short)(0x10000 / ((unsigned int)y[m - 1] + 1));
  if (d == 1)
    x[n + m] = 0;
  else {
    t = 0;
    for (i = 0; i < n + m; i++) {
      t += (unsigned int)x[i] * (unsigned int)d;
      x[i] = (unsigned short)t;
      t >>= 16;
    }
    x[n + m] = (unsigned short)t;
    t = 0;
    for (j = 0; j < m; j++) {
      t += (unsigned int)y[j] * (unsigned int)d;
      y[j] = (unsigned short)t;
      t >>= 16;
    }
  }
  for (i = n; i >= 0; i--) {
    if (x[i + m] < y[m - 1]) {
      t = ((unsigned int)x[i + m] << 16) + (unsigned int)x[i + m - 1];
      q = (unsigned short)(t / (unsigned int)y[m - 1]);
      r = (unsigned short)(t % (unsigned int)y[m - 1]);
      if (q == 0)
        goto putq;
      else
        goto test;
    }
    q = 0;
    r = x[i + m - 1];
  decr:
    q--;
    t = (unsigned int)r + (unsigned int)y[m - 1];
    r = (unsigned short)t;
    if (t > 0xFFFF)
      goto msub;
  test:
    t = (unsigned int)y[m - 2] * (unsigned int)q;
    if ((unsigned short)(t >> 16) > r)
      goto decr;
    if ((unsigned short)(t >> 16) < r)
      goto msub;
    if ((unsigned short)t > x[i + m - 2])
      goto decr;
  msub:
    if (q == 0)
      goto putq;
    t = 0;
    for (j = 0; j < m; j++) {
      t += (unsigned int)y[j] * (unsigned int)q;
      if (x[i + j] < (unsigned short)t)
        t += 0x10000;
      x[i + j] -= (unsigned short)t;
      t >>= 16;
    }
    if (x[i + m] >= (unsigned short)t)
      goto putq;
    q--;
    t = 0;
    for (j = 0; j < m; j++) {
      t += (unsigned int)x[i + j] + (unsigned int)y[j];
      x[i + j] = (unsigned short)t;
      t >>= 16;
    }
  putq:
    x[i + m] = q;
  }
  if (d > 1) {
    t = 0;
    for (i = m - 1; i >= 0; i--) {
      t = (t << 16) + (unsigned int)x[i];
      x[i] = (unsigned short)(t / (unsigned int)d);
      t %= (unsigned int)d;
    }
    t = 0;
    for (j = m - 1; j >= 0; j--) {
      t = (t << 16) + (unsigned int)y[j];
      y[j] = (unsigned short)(t / (unsigned int)d);
      t %= (unsigned int)d;
    }
  }
done:
  return;
}
```