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

```asm
<Merge>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %esi,%ebp
  push   %rbx
  mov    %rdi,%rbx
  lea    0x0(,%rsi,4),%edi
  call   <malloc@plt>
  mov    %rax,%r12
  test   %rax,%rax
  je     L69
L358:
  mov    %ebp,%r9d
  mov    $0x1,%eax
  shr    $0x1f,%r9d
  add    %ebp,%r9d
  sar    %r9d
  test   %r9d,%r9d
  cmovg  %r9d,%eax
  cmp    %eax,%ebp
  jle    L262
  mov    %r12,%rax
  mov    %r9d,%ecx
  xor    %esi,%esi
  xor    %edx,%edx
  xor    %r11d,%r11d
  movslq %r9d,%r10
  cs nopw 0x0(%rax,%rax,1)
L322:
  mov    (%rbx,%r11,4),%r8d
  mov    (%rbx,%r10,4),%edi
  cmp    %r8d,%edi
  jl     L333
L62:
  mov    %r8d,(%rax)
  add    $0x1,%edx
  add    $0x1,%esi
  add    $0x4,%rax
  cmp    %ecx,%ebp
  jle    L231
  cmp    %edx,%r9d
  jle    L231
  movslq %edx,%r11
  mov    (%rbx,%r10,4),%edi
  mov    (%rbx,%r11,4),%r8d
  cmp    %r8d,%edi
  jge    L62
L333:
  add    $0x1,%ecx
  mov    %edi,(%rax)
  add    $0x1,%esi
  add    $0x4,%rax
  cmp    %ecx,%ebp
  jle    L231
  cmp    %r9d,%edx
  jge    L231
  movslq %ecx,%r10
  jmp    L322
  nopl   (%rax)
L262:
  mov    %r9d,%ecx
  xor    %esi,%esi
  xor    %edx,%edx
  nopw   0x0(%rax,%rax,1)
L231:
  cmp    %edx,%r9d
  je     L245
  jle    L308
  movslq %esi,%r11
  lea    0x1(%rdx),%edi
  mov    %r9d,%r10d
  lea    0x0(,%r11,4),%r8
  movslq %edi,%rdi
  sub    %edx,%r10d
  lea    (%r8,%r12,1),%rcx
  shl    $0x2,%rdi
  lea    (%rbx,%rdi,1),%r14
  mov    %rcx,%r13
  mov    %rcx,%rax
  sub    %r14,%r13
  cmp    $0x8,%r13
  jbe    L44
  lea    -0x1(%r10),%r13d
  cmp    $0x2,%r13d
  jbe    L44
  mov    %r10d,%ecx
  shr    $0x2,%ecx
  sub    $0x1,%ecx
  shl    $0x4,%rcx
  lea    0x10(%rax,%rcx,1),%r8
  mov    %rbx,%rcx
  sub    %rax,%rcx
  lea    -0x4(%rcx,%rdi,1),%rcx
L77:
  movdqu (%rax,%rcx,1),%xmm1
  add    $0x10,%rax
  movups %xmm1,-0x10(%rax)
  cmp    %r8,%rax
  jne    L77
  mov    %r10d,%eax
  and    $0xfffffffc,%eax
  add    %eax,%edx
  add    %eax,%esi
  cmp    %eax,%r10d
  je     L308
  movslq %edx,%rdi
  lea    0x1(%rsi),%ecx
  lea    0x1(%rdx),%eax
  movslq %esi,%rsi
  mov    (%rbx,%rdi,4),%edi
  mov    %edi,(%r12,%rsi,4)
  cmp    %r9d,%eax
  jge    L308
  cltq
  movslq %ecx,%rcx
  add    $0x2,%edx
  lea    0x0(,%rax,4),%rdi
  mov    (%rbx,%rax,4),%eax
  lea    0x0(,%rcx,4),%rsi
  mov    %eax,(%r12,%rcx,4)
  cmp    %r9d,%edx
  jge    L308
L171:
  mov    0x4(%rbx,%rdi,1),%eax
  mov    %eax,0x4(%r12,%rsi,1)
L308:
  test   %ebp,%ebp
  jle    L362
  lea    0x4(%r12),%rdx
  mov    %rbx,%rax
  sub    %rdx,%rax
  cmp    $0x8,%rax
  jbe    L14
  lea    -0x1(%rbp),%eax
  cmp    $0x2,%eax
  jbe    L14
  mov    %ebp,%edx
  mov    %rbx,%rcx
  mov    %r12,%rax
  shr    $0x2,%edx
  sub    %r12,%rcx
  shl    $0x4,%rdx
  add    %r12,%rdx
  nopl   0x0(%rax)
L189:
  movdqu (%rax),%xmm0
  movups %xmm0,(%rcx,%rax,1)
  add    $0x10,%rax
  cmp    %rax,%rdx
  jne    L189
  mov    %ebp,%eax
  and    $0xfffffffc,%eax
  test   $0x3,%bpl
  je     L362
  mov    %eax,%ecx
  mov    (%r12,%rcx,4),%esi
  lea    0x0(,%rcx,4),%rdx
  mov    %esi,(%rbx,%rcx,4)
  lea    0x1(%rax),%ecx
  cmp    %ebp,%ecx
  jge    L362
  mov    0x4(%r12,%rdx,1),%ecx
  add    $0x2,%eax
  mov    %ecx,0x4(%rbx,%rdx,1)
  cmp    %ebp,%eax
  jge    L362
  mov    0x8(%r12,%rdx,1),%eax
  mov    %eax,0x8(%rbx,%rdx,1)
L362:
  pop    %rbx
  mov    %r12,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  jmp    1070 <free@plt>
  nopl   (%rax)
L245:
  cmp    %ecx,%ebp
  jle    L308
  movslq %esi,%r10
  lea    0x1(%rcx),%edi
  mov    %ebp,%r9d
  lea    0x0(,%r10,4),%r8
  movslq %edi,%rdi
  sub    %ecx,%r9d
  lea    (%r8,%r12,1),%rdx
  shl    $0x2,%rdi
  lea    (%rbx,%rdi,1),%r13
  mov    %rdx,%r11
  mov    %rdx,%rax
  sub    %r13,%r11
  cmp    $0x8,%r11
  jbe    L74
  lea    -0x1(%r9),%r11d
  cmp    $0x2,%r11d
  jbe    L74
  mov    %r9d,%edx
  shr    $0x2,%edx
  sub    $0x1,%edx
  shl    $0x4,%rdx
  lea    0x10(%rax,%rdx,1),%r8
  mov    %rbx,%rdx
  sub    %rax,%rdx
  lea    -0x4(%rdx,%rdi,1),%rdx
  nopl   0x0(%rax)
L332:
  movdqu (%rax,%rdx,1),%xmm2
  add    $0x10,%rax
  movups %xmm2,-0x10(%rax)
  cmp    %r8,%rax
  jne    L332
  mov    %r9d,%eax
  and    $0xfffffffc,%eax
  add    %eax,%ecx
  add    %eax,%esi
  cmp    %eax,%r9d
  je     L308
  movslq %ecx,%rdi
  lea    0x1(%rsi),%edx
  lea    0x1(%rcx),%eax
  movslq %esi,%rsi
  mov    (%rbx,%rdi,4),%edi
  mov    %edi,(%r12,%rsi,4)
  cmp    %eax,%ebp
  jle    L308
  cltq
  movslq %edx,%rdx
  add    $0x2,%ecx
  lea    0x0(,%rax,4),%rdi
  mov    (%rbx,%rax,4),%eax
  lea    0x0(,%rdx,4),%rsi
  mov    %eax,(%r12,%rdx,4)
  cmp    %ecx,%ebp
  jg     L171
  jmp    L308
  nopl   0x0(%rax)
L69:
  mov    $0x1,%edi
  call   <exit@plt>
  jmp    L358
  nopw   0x0(%rax,%rax,1)
L44:
  sub    $0x1,%r9d
  sub    %edx,%r9d
  lea    (%r9,%r11,1),%rax
  lea    0x4(%r12,%rax,4),%rsi
  lea    -0x4(%rdi),%rax
  sub    %r8,%rax
  sub    %r12,%rax
  add    %rbx,%rax
  nopl   (%rax)
L238:
  mov    (%rax,%rcx,1),%edx
  add    $0x4,%rcx
  mov    %edx,-0x4(%rcx)
  cmp    %rsi,%rcx
  jne    L238
  jmp    L308
  nopl   0x0(%rax)
L14:
  mov    %ebp,%ebp
  mov    %r12,%rax
  sub    %r12,%rbx
  lea    (%r12,%rbp,4),%rcx
  nopl   0x0(%rax)
L70:
  mov    (%rax),%edx
  mov    %edx,(%rbx,%rax,1)
  add    $0x4,%rax
  cmp    %rax,%rcx
  jne    L70
  pop    %rbx
  mov    %r12,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  jmp    1070 <free@plt>
L74:
  lea    -0x1(%rbp),%eax
  sub    %ecx,%eax
  add    %r10,%rax
  lea    0x4(%r12,%rax,4),%rsi
  lea    -0x4(%rdi),%rax
  sub    %r8,%rax
  sub    %r12,%rax
  add    %rbx,%rax
L157:
  mov    (%rax,%rdx,1),%ecx
  add    $0x4,%rdx
  mov    %ecx,-0x4(%rdx)
  cmp    %rsi,%rdx
  jne    L157
  jmp    L308
```

assistant: ```c
void Merge(int *vet, int n) {
  int x, i = 0, j, k = 0, *aux;
  aux = (int *)malloc(n * sizeof(int));
  if (aux == NULL) {
    exit(1);
  }
  j = x = n / 2;
  while (i < x && j < n) {
    if (vet[i] <= vet[j])
      aux[k] = vet[i++];
    else
      aux[k] = vet[j++];
    k++;
  }
  if (i == x) {
    while (j < n)
      aux[k++] = vet[j++];
  } else {
    while (i < x)
      aux[k++] = vet[i++];
  }
  for (i = 0; i < n; ++i)
    vet[i] = aux[i];
  free(aux);
}
```