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

```asm
<main>:
  endbr64
  push   %r15
  xor    %edi,%edi
  lea    D25(%rip),%r15
  push   %r14
  mov    $0xa,%r14d
  push   %r13
  push   %r12
  xor    %r12d,%r12d
  push   %rbp
  lea    D16(%rip),%rbp
  push   %rbx
  sub    $0x48,%rsp
  movdqa D19(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  movabs $0x100000000,%rax
  mov    %rax,0x20(%rsp)
  movabs $0xfffffff900000000,%rax
  movaps %xmm0,0x10(%rsp)
  mov    %rax,0x28(%rsp)
  call   <time@plt>
  mov    %eax,%edi
  call   <srand@plt>
  xor    %eax,%eax
  call   <print_random_array@plt>
  pxor   %xmm3,%xmm3
  movss  %xmm3,0xc(%rsp)
L54:
  mov    $0xa,%r13d
  nopl   0x0(%rax)
L69:
  mov    $0xa,%ebx
  nopl   (%rax)
L21:
  xor    %eax,%eax
  call   <rand@plt>
  movslq %eax,%rdx
  mov    %eax,%ecx
  imul   $0x2e8ba2e9,%rdx,%rdx
  sar    $0x1f,%ecx
  sar    $0x21,%rdx
  sub    %ecx,%edx
  lea    (%rdx,%rdx,4),%ecx
  lea    (%rdx,%rcx,2),%edx
  sub    %edx,%eax
  sub    $0x5,%eax
  mov    %eax,%esi
  jns    L60
  pxor   %xmm0,%xmm0
  add    $0x1,%r12d
  cvtsi2ss %eax,%xmm0
  addss  0xc(%rsp),%xmm0
  movss  %xmm0,0xc(%rsp)
L60:
  xor    %eax,%eax
  mov    %rbp,%rdi
  call   <printf@plt>
  sub    $0x1,%ebx
  jne    L21
  mov    $0xa,%edi
  call   <putchar@plt>
  sub    $0x1,%r13d
  jne    L69
  mov    %r15,%rdi
  call   <puts@plt>
  sub    $0x1,%r14d
  jne    L54
  test   %r12d,%r12d
  je     L61
  pxor   %xmm1,%xmm1
  movss  0xc(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D6(%rip),%rdi
  cvtsi2ss %r12d,%xmm1
  divss  %xmm1,%xmm0
  cvtss2sd %xmm0,%xmm0
  call   <printf@plt>
L6:
  lea    0x10(%rsp),%rsi
  mov    $0x4,%edi
  call   <print_int_array@plt>
  lea    0x20(%rsp),%rsi
  mov    $0x4,%edi
  call   <print_int_array@plt>
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  add    $0x48,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L61:
  lea    D43(%rip),%rdi
  call   <puts@plt>
  jmp    L6
L3:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D25
data_type: string
name: extract_symbolic_data
arguments: label: D16
data_type: string
name: extract_symbolic_data
arguments: label: D19
data_type: byte[16]
name: extract_symbolic_data
arguments: label: D6
data_type: string
name: extract_symbolic_data
arguments: label: D43
data_type: string

tool: D25: 
----------------

tool: D16: %d 

tool: {"D19": [0x03,0x00,0x00,0x00,0x05,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0xe9,0xff,0xff,0xff]}

tool: D6: The average is %f


tool: D43: No negative numbers

assistant: ```c
int main() {
  int i, j, k, negative_count = 0;
  int array3D[10][10][10], array2[] = {3, 5, 1, -23}, array4[4] = {[1] = 1, [3] = -7};
  float average = 0;
  srand(time(NULL));
  print_random_array();
  for (i = 0; i < 10; i++) {
    for (j = 0; j < 10; j++) {
      for (k = 0; k < 10; k++) {
        array3D[i][j][k] = -5 + (rand() % 11);
        if (array3D[i][j][k] < 0) {
          negative_count++;
          average += array3D[i][j][k];
        }
        printf("%d ", array3D[i][j][k]);
      }
      printf("\n");
    }
    printf("\n----------------\n");
  }
  if (negative_count > 0)
    printf("The average is %f\n", average / negative_count);
  else
    printf("No negative numbers\n");
  print_int_array(4, array2);
  print_int_array(4, array4);
  return 0;
}
```