user: Please show me the C implementation that matches the assembly code listed below:

```asm
<Merge>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %edx,-0x24(%rbp)
  mov    %ecx,-0x28(%rbp)
  mov    %r8d,-0x2c(%rbp)
  mov    -0x24(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x24(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x28(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x8(%rbp)
  jmp    L123
L120:
  mov    -0x10(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rcx
  mov    -0x18(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  cmp    %eax,%edx
  jg     L28
  mov    -0x10(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x10(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0xc(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0xc(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rax,%rdx
  mov    (%rcx),%eax
  mov    %eax,(%rdx)
  jmp    L123
L28:
  mov    -0x8(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0x8(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0xc(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0xc(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rax,%rdx
  mov    (%rcx),%eax
  mov    %eax,(%rdx)
L123:
  mov    -0x10(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jg     L43
  mov    -0x8(%rbp),%eax
  cmp    -0x2c(%rbp),%eax
  jle    L120
L43:
  mov    -0x10(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jle    L53
  mov    -0x8(%rbp),%eax
  mov    %eax,-0x4(%rbp)
  jmp    L21
L129:
  mov    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0xc(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0xc(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rax,%rdx
  mov    (%rcx),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x4(%rbp)
L21:
  mov    -0x4(%rbp),%eax
  cmp    -0x2c(%rbp),%eax
  jle    L129
  jmp    L50
L53:
  mov    -0x10(%rbp),%eax
  mov    %eax,-0x4(%rbp)
  jmp    L3
L46:
  mov    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  mov    -0xc(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    %edx,-0xc(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rax,%rdx
  mov    (%rcx),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x4(%rbp)
L3:
  mov    -0x4(%rbp),%eax
  cmp    -0x28(%rbp),%eax
  jle    L46
L50:
  mov    -0x24(%rbp),%eax
  mov    %eax,-0x4(%rbp)
  jmp    L29
L86:
  mov    -0x4(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    -0x4(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,4),%rcx
  mov    -0x18(%rbp),%rdx
  add    %rcx,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  addl   $0x1,-0x4(%rbp)
L29:
  mov    -0x4(%rbp),%eax
  cmp    -0x2c(%rbp),%eax
  jle    L86
  nop
  nop
  pop    %rbp
  ret
```

assistant: ```c
void Merge(a, b, lo, mid, hi) int a[], b[], lo, mid, hi;
{
  int h, i, j, k;
  h = lo;
  i = lo;
  j = mid + 1;
  while ((h <= mid) && (j <= hi)) {
    if (a[h] <= a[j])
      b[i++] = a[h++];
    else
      b[i++] = a[j++];
  }
  if (h > mid) {
    for (k = j; k <= hi; k++)
      b[i++] = a[k];
  } else {
    for (k = h; k <= mid; k++)
      b[i++] = a[k];
  }
  for (k = lo; k <= hi; k++)
    a[k] = b[k];
}
```