user: Converte this assembly snippet into its equivalent C code:

```asm
<main>:
  endbr64
  push   %r14
  lea    D38(%rip),%rdi
  lea    D13(%rip),%r14
  push   %r13
  push   %r12
  push   %rbp
  xor    %ebp,%ebp
  push   %rbx
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  movl   $0x0,(%rsp)
  call   <printf@plt>
  mov    %rsp,%rsi
  mov    %r14,%rdi
  call   <scanf@plt>
  mov    (%rsp),%esi
  lea    D49(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D26(%rip),%rsi
  lea    D25(%rip),%rdi
  movl   $0x0,0x4(%rsp)
  call   <fopen@plt>
  lea    0x4(%rsp),%rdx
  mov    %r14,%rsi
  mov    %rax,%rdi
  mov    %rax,%r13
  call   <fscanf@plt>
  mov    0x4(%rsp),%eax
  lea    0x0(,%rax,4),%edi
  call   <malloc@plt>
  mov    0x4(%rsp),%edx
  mov    %rax,%rbx
  mov    %rax,%r12
  test   %edx,%edx
  jle    L88
  nopl   0x0(%rax)
L66:
  mov    %r12,%rdx
  mov    %r14,%rsi
  mov    %r13,%rdi
  add    $0x1,%ebp
  call   <fscanf@plt>
  add    $0x4,%r12
  cmp    %ebp,0x4(%rsp)
  jg     L66
L88:
  mov    %r13,%rdi
  call   <fclose@plt>
  mov    0x4(%rsp),%eax
  test   %eax,%eax
  jle    L78
  mov    (%rsp),%esi
  xor    %ebp,%ebp
  xor    %r12d,%r12d
  lea    D36(%rip),%r13
  nopw   0x0(%rax,%rax,1)
L55:
  cmp    %esi,(%rbx)
  je     L82
  add    $0x1,%ebp
  add    $0x4,%rbx
  cmp    %eax,%ebp
  jl     L55
  test   %r12d,%r12d
  je     L78
L20:
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L6
  add    $0x10,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   0x0(%rax,%rax,1)
L82:
  mov    %ebp,%edx
  mov    %r13,%rdi
  xor    %eax,%eax
  add    $0x1,%ebp
  call   <printf@plt>
  mov    0x4(%rsp),%eax
  add    $0x1,%r12d
  add    $0x4,%rbx
  cmp    %eax,%ebp
  jge    L20
  mov    (%rsp),%esi
  jmp    L55
L78:
  lea    D59(%rip),%rdi
  call   <puts@plt>
  jmp    L20
L6:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_label: D38
datatype: string
name: read_data
arguments: data_label: D13
datatype: string
name: read_data
arguments: data_label: D49
datatype: string
name: read_data
arguments: data_label: D26
datatype: string
name: read_data
arguments: data_label: D25
datatype: string
name: read_data
arguments: data_label: D36
datatype: string
name: read_data
arguments: data_label: D59
datatype: string

tool: D38: Please enter a positive integer: 

tool: D13: %d

tool: D49: You entered positive integer: %d


tool: D26: r

tool: D25: ./Data1.txt

tool: D36: Number %d found at index %d.


tool: D59: Integer NOT FOUND.

assistant: ```c
int main(int argc, char *argv[]) {
  int userInt = 0;
  printf("Please enter a positive integer: ");
  scanf("%d", &userInt);
  printf("You entered positive integer: %d\n", userInt);
  int *intData = NULL;
  int intSize = 0;
  int foundUserInt = 0;
  FILE *fileHandle = fopen("./Data1.txt", "r");
  {
    fscanf(fileHandle, "%d", &intSize);
    intData = (int *)(malloc(sizeof(int) * intSize));
    for (int intFor1 = 0; intFor1 < intSize; intFor1++) {
      fscanf(fileHandle, "%d", &intData[intFor1]);
    }
  }
  fclose(fileHandle);
  for (int intFor1 = 0; intFor1 < intSize; intFor1++) {
    if (userInt == intData[intFor1]) {
      printf("Number %d found at index %d.\n", userInt, intFor1);
      foundUserInt++;
    }
  }
  if (!foundUserInt) {
    printf("Integer NOT FOUND.\n");
  }
}
```