user: What is the c source code of the assembly code below:

```asm
<main>:
  endbr64
  push   %r13
  lea    D14(%rip),%rsi
  lea    D105(%rip),%rdi
  push   %r12
  lea    D44(%rip),%r13
  lea    D64(%rip),%r12
  push   %rbp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x68,%rsp
  movdqa D109(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x58(%rsp)
  xor    %eax,%eax
  mov    D40(%rip),%rax
  mov    %rsp,%rbp
  movl   $0x10,0x48(%rsp)
  movaps %xmm0,(%rsp)
  movdqa D101(%rip),%xmm0
  mov    %rax,0x40(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0x10(%rsp)
  movdqa D67(%rip),%xmm0
  movaps %xmm0,0x20(%rsp)
  movdqa D34(%rip),%xmm0
  movaps %xmm0,0x30(%rsp)
  call   <printf@plt>
  nopl   (%rax)
L4:
  cmp    $0x12,%rbx
  je     L15
  mov    0x0(%rbp,%rbx,4),%esi
  mov    %r13,%rdx
  mov    %r12,%rdi
  xor    %eax,%eax
  add    $0x1,%rbx
  call   <printf@plt>
  cmp    $0x13,%rbx
  jne    L4
  nopl   0x0(%rax)
L47:
  xor    %ebx,%ebx
  lea    D57(%rip),%r12
  nopl   0x0(%rax)
L12:
  mov    %ebx,%edx
  mov    $0x13,%esi
  mov    %rbp,%rdi
  call   <firstOccurrence@plt>
  mov    %ebx,%esi
  mov    %r12,%rdi
  add    $0x1,%ebx
  mov    %eax,%edx
  xor    %eax,%eax
  call   <printf@plt>
  cmp    $0x14,%ebx
  jne    L12
  mov    0x58(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L39
  add    $0x68,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopw   0x0(%rax,%rax,1)
L15:
  mov    0x48(%rbp),%esi
  lea    D17(%rip),%rdx
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L47
L39:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D14
type_guessed: string
name: extract_symbolic_data
arguments: tag: D105
type_guessed: string
name: extract_symbolic_data
arguments: tag: D44
type_guessed: string
name: extract_symbolic_data
arguments: tag: D64
type_guessed: string
name: extract_symbolic_data
arguments: tag: D109
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D40
type_guessed: byte[8]
name: extract_symbolic_data
arguments: tag: D101
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D67
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D34
type_guessed: byte[16]
name: extract_symbolic_data
arguments: tag: D57
type_guessed: string
name: extract_symbolic_data
arguments: tag: D17
type_guessed: string

tool: D14: Array [

tool: D105: %s

tool: D44: , 

tool: D64: %d%s

tool: {"D109": [0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00]}

tool: {"D40": [0x0b,0x00,0x00,0x00,0x0c,0x00,0x00,0x00]}

tool: {"D101": [0x02,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D67": [0x04,0x00,0x00,0x00,0x05,0x00,0x00,0x00,0x06,0x00,0x00,0x00,0x07,0x00,0x00,0x00]}

tool: {"D34": [0x08,0x00,0x00,0x00,0x08,0x00,0x00,0x00,0x0a,0x00,0x00,0x00,0x0a,0x00,0x00,0x00]}

tool: D57: %d found at %d


tool: D17: ]


assistant: ```c
int main(int argc, char **argv) {
  int nums[] = {1, 1, 1, 2, 2, 2, 2, 3, 4, 5, 6, 7, 8, 8, 10, 10, 11, 12, 16};
  int length = sizeof(nums) / sizeof(int);
  int i, k;
  printf("%s", "Array [");
  for (i = 0; i < length; i++) {
    printf("%d%s", nums[i], i != length - 1 ? ", " : "]\n");
  }
  for (k = 0; k < 20; k++) {
    printf("%d found at %d\n", k, firstOccurrence(nums, length, k));
  }
  return 0;
}
```