user: 请从给定的汇编指令推导出C源代码：

```asm
<mergesort_rec>:
  endbr64
  push   %r15
  mov    %ecx,%r15d
  push   %r14
  push   %r13
  mov    %edx,%r13d
  push   %r12
  mov    %esi,%r12d
  push   %rbp
  push   %rbx
  sub    $0x38,%rsp
  cmp    %ecx,%edx
  jg     L79
  mov    %esi,%eax
  je     L387
  lea    (%rdx,%rcx,1),%edx
  mov    %rdi,%rbp
  mov    %edx,%eax
  shr    $0x1f,%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,0x8(%rsp)
  cmp    %eax,%r13d
  jg     L167
  mov    %esi,0x10(%rsp)
  je     L355
  add    %r13d,%eax
  mov    %eax,%ebx
  shr    $0x1f,%ebx
  add    %eax,%ebx
  sar    %ebx
  cmp    %ebx,%r13d
  jg     L47
  mov    %esi,0xc(%rsp)
  je     L71
  lea    0x0(%r13,%rbx,1),%eax
  mov    %eax,%r14d
  shr    $0x1f,%r14d
  add    %eax,%r14d
  sar    %r14d
  cmp    %r14d,%r13d
  jg     L426
  mov    %esi,%r10d
  je     L181
  lea    0x0(%r13,%r14,1),%eax
  mov    %r13d,%edx
  mov    %eax,%r8d
  shr    $0x1f,%r8d
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0xc(%rsp)
  call   <mergesort_rec>
  mov    0xc(%rsp),%r8d
  mov    %r14d,%ecx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,0x14(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x10(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0xc(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %rbp,%rdi
  mov    %r13d,%ecx
  push   %r14
  mov    0x1c(%rsp),%r9d
  mov    %eax,%edx
  mov    0x20(%rsp),%r8d
  mov    0x24(%rsp),%esi
  call   <merge@plt>
  pop    %rsi
  pop    %rdi
  mov    %eax,%r10d
L181:
  lea    0x1(%r14),%r11d
  cmp    %r11d,%ebx
  jl     L405
  mov    %r12d,%edx
  je     L134
  lea    (%rbx,%r11,1),%eax
  mov    %r11d,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,%r8d
  mov    %r10d,0x1c(%rsp)
  shr    $0x1f,%r8d
  mov    %r11d,0x18(%rsp)
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x10(%rsp)
  call   <mergesort_rec>
  mov    0x10(%rsp),%r8d
  mov    %ebx,%ecx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,0xc(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x14(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x10(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %rbp,%rdi
  push   %rbx
  mov    0x28(%rsp),%r11d
  mov    %eax,%edx
  mov    0x20(%rsp),%r9d
  mov    0x24(%rsp),%r8d
  mov    0x1c(%rsp),%esi
  mov    %r11d,%ecx
  mov    %r11d,0x20(%rsp)
  call   <merge@plt>
  mov    %eax,%edx
  pop    %rax
  pop    %rcx
  mov    0x1c(%rsp),%r10d
  mov    0x10(%rsp),%r11d
L134:
  sub    $0x8,%rsp
  mov    %r11d,%r9d
  mov    %r10d,%esi
  mov    %r14d,%r8d
  push   %rbx
  mov    %r13d,%ecx
  mov    %rbp,%rdi
  call   <merge@plt>
  mov    %eax,0x1c(%rsp)
  pop    %r10
  pop    %r11
L71:
  lea    0x1(%rbx),%r14d
  cmp    %r14d,0x8(%rsp)
  jl     L61
  mov    %r12d,%edx
  je     L17
  mov    0x8(%rsp),%eax
  add    %r14d,%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,0x10(%rsp)
  cmp    %eax,%r14d
  jg     L29
  mov    %r12d,%r11d
  je     L271
  add    %r14d,%eax
  mov    %r14d,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,%r8d
  shr    $0x1f,%r8d
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x14(%rsp)
  call   <mergesort_rec>
  mov    0x14(%rsp),%r8d
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    0x10(%rsp),%ecx
  mov    %eax,0x1c(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x18(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x14(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %r14d,%ecx
  mov    %rbp,%rdi
  mov    %eax,%edx
  mov    0x18(%rsp),%eax
  push   %rax
  mov    0x24(%rsp),%r9d
  mov    0x28(%rsp),%r8d
  mov    0x2c(%rsp),%esi
  call   <merge@plt>
  pop    %r8
  pop    %r9
  mov    %eax,%r11d
L271:
  mov    0x10(%rsp),%eax
  lea    0x1(%rax),%r10d
  cmp    %r10d,0x8(%rsp)
  jl     L217
  mov    %r12d,%edx
  je     L205
  mov    0x8(%rsp),%eax
  mov    %r10d,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %r11d,0x24(%rsp)
  add    %r10d,%eax
  mov    %r10d,0x20(%rsp)
  mov    %eax,%r8d
  shr    $0x1f,%r8d
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x18(%rsp)
  call   <mergesort_rec>
  mov    0x18(%rsp),%r8d
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    0x8(%rsp),%ecx
  mov    %eax,0x14(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x1c(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x18(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %rbp,%rdi
  mov    0x10(%rsp),%ecx
  mov    %eax,%edx
  push   %rcx
  mov    0x30(%rsp),%r10d
  mov    0x28(%rsp),%r9d
  mov    0x2c(%rsp),%r8d
  mov    0x24(%rsp),%esi
  mov    %r10d,%ecx
  mov    %r10d,0x28(%rsp)
  call   <merge@plt>
  pop    %rsi
  pop    %rdi
  mov    0x24(%rsp),%r11d
  mov    0x18(%rsp),%r10d
  mov    %eax,%edx
L205:
  sub    $0x8,%rsp
  mov    %r14d,%ecx
  mov    %r10d,%r9d
  mov    %r11d,%esi
  mov    0x10(%rsp),%eax
  mov    %rbp,%rdi
  push   %rax
  mov    0x20(%rsp),%r8d
  call   <merge@plt>
  mov    %eax,%edx
  pop    %rax
  pop    %rcx
L17:
  sub    $0x8,%rsp
  mov    %ebx,%r8d
  mov    %r14d,%r9d
  mov    %r13d,%ecx
  mov    0x10(%rsp),%eax
  mov    %rbp,%rdi
  push   %rax
  mov    0x1c(%rsp),%esi
  call   <merge@plt>
  mov    %eax,0x20(%rsp)
  pop    %r11
  pop    %rbx
L355:
  mov    0x8(%rsp),%eax
  lea    0x1(%rax),%ebx
  cmp    %r15d,%ebx
  jg     L218
L363:
  je     L23
  lea    (%rbx,%r15,1),%edx
  mov    %edx,%eax
  shr    $0x1f,%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,0xc(%rsp)
  cmp    %eax,%ebx
  jg     L289
  mov    %r12d,0x14(%rsp)
  je     L386
  add    %ebx,%eax
  mov    %eax,%r14d
  shr    $0x1f,%r14d
  add    %eax,%r14d
  sar    %r14d
  cmp    %r14d,%ebx
  jg     L230
  mov    %r12d,%r11d
  je     L298
  lea    (%rbx,%r14,1),%eax
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,%r8d
  shr    $0x1f,%r8d
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x14(%rsp)
  call   <mergesort_rec>
  mov    0x14(%rsp),%r8d
  mov    %r14d,%ecx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,0x1c(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x18(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x14(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %ebx,%ecx
  mov    %rbp,%rdi
  push   %r14
  mov    0x24(%rsp),%r9d
  mov    %eax,%edx
  mov    0x28(%rsp),%r8d
  mov    0x2c(%rsp),%esi
  call   <merge@plt>
  pop    %r9
  pop    %r10
  mov    %eax,%r11d
L298:
  lea    0x1(%r14),%r10d
  cmp    %r10d,0xc(%rsp)
  jl     L54
  mov    %r12d,%edx
  je     L371
  mov    0xc(%rsp),%eax
  mov    %r10d,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %r11d,0x24(%rsp)
  add    %r10d,%eax
  mov    %r10d,0x20(%rsp)
  mov    %eax,%r8d
  shr    $0x1f,%r8d
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x18(%rsp)
  call   <mergesort_rec>
  mov    0x18(%rsp),%r8d
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    0xc(%rsp),%ecx
  mov    %eax,0x14(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x1c(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x18(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %rbp,%rdi
  mov    0x14(%rsp),%ecx
  mov    %eax,%edx
  push   %rcx
  mov    0x30(%rsp),%r10d
  mov    0x28(%rsp),%r9d
  mov    0x2c(%rsp),%r8d
  mov    0x24(%rsp),%esi
  mov    %r10d,%ecx
  mov    %r10d,0x28(%rsp)
  call   <merge@plt>
  pop    %rdi
  pop    %r8
  mov    0x24(%rsp),%r11d
  mov    0x18(%rsp),%r10d
  mov    %eax,%edx
L371:
  sub    $0x8,%rsp
  mov    %ebx,%ecx
  mov    %r11d,%esi
  mov    %r10d,%r9d
  mov    0x14(%rsp),%eax
  mov    %r14d,%r8d
  mov    %rbp,%rdi
  push   %rax
  call   <merge@plt>
  mov    %eax,0x24(%rsp)
  pop    %rcx
  pop    %rsi
L386:
  mov    0xc(%rsp),%eax
  lea    0x1(%rax),%r14d
  cmp    %r14d,%r15d
  jl     L384
  je     L94
  lea    (%r15,%r14,1),%edx
  mov    %edx,%eax
  shr    $0x1f,%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,0x18(%rsp)
  cmp    %eax,%r14d
  jg     L372
  mov    %r12d,%r10d
  je     L20
  add    %r14d,%eax
  mov    %r14d,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,%r8d
  shr    $0x1f,%r8d
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x1c(%rsp)
  call   <mergesort_rec>
  mov    0x1c(%rsp),%r8d
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    0x18(%rsp),%ecx
  mov    %eax,0x24(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x20(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x1c(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %r14d,%ecx
  mov    %rbp,%rdi
  mov    %eax,%edx
  mov    0x20(%rsp),%eax
  push   %rax
  mov    0x2c(%rsp),%r9d
  mov    0x30(%rsp),%r8d
  mov    0x34(%rsp),%esi
  call   <merge@plt>
  mov    %eax,%r10d
  pop    %rax
  pop    %rdx
L20:
  mov    0x18(%rsp),%eax
  lea    0x1(%rax),%r11d
  cmp    %r11d,%r15d
  jl     L294
  je     L43
  lea    (%r15,%r11,1),%eax
  mov    %r11d,%edx
  mov    %r12d,%esi
  mov    %rbp,%rdi
  mov    %eax,%r8d
  mov    %r10d,0x2c(%rsp)
  shr    $0x1f,%r8d
  mov    %r11d,0x28(%rsp)
  add    %eax,%r8d
  sar    %r8d
  mov    %r8d,%ecx
  mov    %r8d,0x20(%rsp)
  call   <mergesort_rec>
  mov    0x20(%rsp),%r8d
  mov    %r12d,%esi
  mov    %r15d,%ecx
  mov    %rbp,%rdi
  mov    %eax,0x1c(%rsp)
  lea    0x1(%r8),%r9d
  mov    %r8d,0x24(%rsp)
  mov    %r9d,%edx
  mov    %r9d,0x20(%rsp)
  call   <mergesort_rec>
  sub    $0x8,%rsp
  mov    %rbp,%rdi
  push   %r15
  mov    0x38(%rsp),%r11d
  mov    %eax,%edx
  mov    0x30(%rsp),%r9d
  mov    0x34(%rsp),%r8d
  mov    0x2c(%rsp),%esi
  mov    %r11d,%ecx
  mov    %r11d,0x30(%rsp)
  call   <merge@plt>
  pop    %r10
  pop    %r11
  mov    0x2c(%rsp),%r10d
  mov    0x20(%rsp),%r11d
  mov    %eax,%r12d
L43:
  sub    $0x8,%rsp
  mov    %r11d,%r9d
  mov    %r12d,%edx
  mov    %r14d,%ecx
  push   %r15
  mov    0x28(%rsp),%r8d
  mov    %r10d,%esi
  mov    %rbp,%rdi
  call   <merge@plt>
  pop    %r8
  pop    %r9
  mov    %eax,%r12d
L94:
  sub    $0x8,%rsp
  mov    %r12d,%edx
  mov    %rbp,%rdi
  mov    %r14d,%r9d
  push   %r15
  mov    0x1c(%rsp),%r8d
  mov    %ebx,%ecx
  mov    0x24(%rsp),%esi
  call   <merge@plt>
  pop    %rsi
  pop    %rdi
  mov    %eax,%r12d
L23:
  sub    $0x8,%rsp
  mov    %r13d,%ecx
  mov    %r12d,%edx
  mov    %ebx,%r9d
  push   %r15
  mov    0x18(%rsp),%r8d
  mov    %rbp,%rdi
  mov    0x20(%rsp),%esi
  call   <merge@plt>
  pop    %rdx
  pop    %rcx
L387:
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L79:
  mov    %r13d,%esi
  mov    %ecx,%edx
  lea    D48(%rip),%rdi
  call   <printf@plt>
  add    $0x38,%rsp
  mov    %r12d,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L167:
  mov    %eax,%edx
  mov    %r13d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    0x8(%rsp),%eax
  mov    %r12d,0x10(%rsp)
  lea    0x1(%rax),%ebx
  cmp    %r15d,%ebx
  jle    L363
L218:
  mov    %r15d,%edx
  mov    %ebx,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  jmp    L23
  nopl   0x0(%rax)
L61:
  mov    0x8(%rsp),%edx
  mov    %r14d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,%edx
  jmp    L17
  nopl   0x0(%rax,%rax,1)
L47:
  mov    %ebx,%edx
  mov    %r13d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,0xc(%rsp)
  jmp    L71
  nopl   0x0(%rax,%rax,1)
L384:
  mov    %r15d,%edx
  mov    %r14d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  jmp    L94
  nop
L289:
  mov    %eax,%edx
  mov    %ebx,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,0x14(%rsp)
  jmp    L386
  nopw   0x0(%rax,%rax,1)
L372:
  mov    %eax,%edx
  mov    %r14d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,%r10d
  jmp    L20
  nopl   0x0(%rax)
L405:
  mov    %ebx,%edx
  mov    %r11d,%esi
  mov    %r10d,0x10(%rsp)
  lea    D48(%rip),%rdi
  mov    %r11d,0xc(%rsp)
  call   <printf@plt>
  mov    0xc(%rsp),%r11d
  mov    0x10(%rsp),%r10d
  mov    %r12d,%edx
  jmp    L134
  nopl   (%rax)
L426:
  mov    %r14d,%edx
  mov    %r13d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,%r10d
  jmp    L181
  nopw   0x0(%rax,%rax,1)
L217:
  mov    0x8(%rsp),%edx
  mov    %r10d,%esi
  mov    %r11d,0x18(%rsp)
  lea    D48(%rip),%rdi
  mov    %r10d,0x14(%rsp)
  call   <printf@plt>
  mov    0x14(%rsp),%r10d
  mov    0x18(%rsp),%r11d
  mov    %r12d,%edx
  jmp    L205
  nop
L29:
  mov    %eax,%edx
  mov    %r14d,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,%r11d
  jmp    L271
  nopl   0x0(%rax)
L54:
  mov    0xc(%rsp),%edx
  mov    %r10d,%esi
  mov    %r11d,0x18(%rsp)
  lea    D48(%rip),%rdi
  mov    %r10d,0x14(%rsp)
  call   <printf@plt>
  mov    0x14(%rsp),%r10d
  mov    0x18(%rsp),%r11d
  mov    %r12d,%edx
  jmp    L371
  nop
L230:
  mov    %r14d,%edx
  mov    %ebx,%esi
  lea    D48(%rip),%rdi
  call   <printf@plt>
  mov    %r12d,%r11d
  jmp    L298
  nopl   0x0(%rax)
L294:
  mov    %r11d,%esi
  mov    %r15d,%edx
  mov    %r10d,0x20(%rsp)
  lea    D48(%rip),%rdi
  mov    %r11d,0x1c(%rsp)
  call   <printf@plt>
  mov    0x1c(%rsp),%r11d
  mov    0x20(%rsp),%r10d
  jmp    L43
```

tool_calls: name: unpack_data
arguments: data_label: D48
datatype: string

tool: D48: FATAL: low: %d, high: %d


assistant: ```c
int mergesort_rec(int A[(2)][(25)], int h, int low, int high) {
  int div;
  int lh, rh;
  if (low > high) {
    printf("FATAL: low: %d, high: %d\n", low, high);
    return h;
  }
  if (low == high) {
    return h;
  }
  div = (low + high) / 2;
  lh = mergesort_rec(A, h, low, div);
  rh = mergesort_rec(A, h, div + 1, high);
  return merge(A, lh, rh, low, div, div + 1, high);
}
```