user: Translate the below assembly code into C programming language:

```asm
<main1>:
  endbr64
  push   %r12
  push   %rbp
  sub    $0xd8,%rsp
  movaps D130(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0xc8(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  lea    0x40(%rsp),%r12
  movaps %xmm0,(%rsp)
  movaps D76(%rip),%xmm0
  mov    %rbp,%rdi
  movaps %xmm0,0x10(%rsp)
  movaps D59(%rip),%xmm0
  movaps %xmm0,0x20(%rsp)
  movaps D71(%rip),%xmm0
  movaps %xmm0,0x30(%rsp)
  call   <fbar_mul@plt>
  movaps D27(%rip),%xmm0
  lea    0x80(%rsp),%rdi
  movaps %xmm0,(%rsp)
  movaps %xmm0,0x40(%rsp)
  movdqa D60(%rip),%xmm0
  movaps %xmm0,0x80(%rsp)
  movaps D41(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  movaps %xmm0,0x50(%rsp)
  movdqa D24(%rip),%xmm0
  movaps %xmm0,0x90(%rsp)
  movaps D102(%rip),%xmm0
  movaps %xmm0,0x20(%rsp)
  movaps %xmm0,0x60(%rsp)
  movdqa D153(%rip),%xmm0
  movaps %xmm0,0xa0(%rsp)
  movaps D99(%rip),%xmm0
  movaps %xmm0,0x30(%rsp)
  movaps %xmm0,0x70(%rsp)
  movdqa D135(%rip),%xmm0
  movaps %xmm0,0xb0(%rsp)
  call   <ibar_add@plt>
  mov    %rbp,%rdi
  call   <fbar_add@plt>
  mov    %r12,%rdi
  call   <fbar_add@plt>
  movaps D65(%rip),%xmm0
  mov    %rbp,%rdi
  movaps %xmm0,(%rsp)
  movaps D144(%rip),%xmm0
  movaps %xmm0,0x60(%rsp)
  movaps D97(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  movaps D134(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  call   <fbar1@plt>
  mov    %r12,%rdi
  call   <fbar2@plt>
  mov    0xc8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  add    $0xd8,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L3:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D130
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D76
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D59
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D71
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D27
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D60
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D41
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D24
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D102
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D153
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D99
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D135
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D65
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D144
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D97
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D134
datatype: byte[16]

tool: {"D130": [0x00,0x00,0x00,0x00,0x00,0x00,0x40,0x40,0x00,0x00,0x40,0x41,0x00,0x00,0xd8,0x41]}

tool: {"D76": [0x00,0x00,0x40,0x42,0x00,0x00,0x96,0x42,0x00,0x00,0xd8,0x42,0x00,0x00,0x13,0x43]}

tool: {"D59": [0x00,0x00,0x40,0x43,0x00,0x00,0x73,0x43,0x00,0x00,0x96,0x43,0x00,0x80,0xb5,0x43]}

tool: {"D71": [0x00,0x00,0xd8,0x43,0x00,0x80,0xfd,0x43,0x00,0x00,0x13,0x44,0x00,0xc0,0x28,0x44]}

tool: {"D27": [0x00,0x00,0x00,0x00,0x00,0x00,0xc0,0x40,0x00,0x00,0x40,0x41,0x00,0x00,0x90,0x41]}

tool: {"D60": [0x00,0x00,0x00,0x00,0x06,0x00,0x00,0x00,0x0c,0x00,0x00,0x00,0x12,0x00,0x00,0x00]}

tool: {"D41": [0x00,0x00,0xc0,0x41,0x00,0x00,0xf0,0x41,0x00,0x00,0x10,0x42,0x00,0x00,0x28,0x42]}

tool: {"D24": [0x18,0x00,0x00,0x00,0x1e,0x00,0x00,0x00,0x24,0x00,0x00,0x00,0x2a,0x00,0x00,0x00]}

tool: {"D102": [0x00,0x00,0x40,0x42,0x00,0x00,0x58,0x42,0x00,0x00,0x70,0x42,0x00,0x00,0x84,0x42]}

tool: {"D153": [0x30,0x00,0x00,0x00,0x36,0x00,0x00,0x00,0x3c,0x00,0x00,0x00,0x42,0x00,0x00,0x00]}

tool: {"D99": [0x00,0x00,0x90,0x42,0x00,0x00,0x9c,0x42,0x00,0x00,0xa8,0x42,0x00,0x00,0xb4,0x42]}

tool: {"D135": [0x48,0x00,0x00,0x00,0x4e,0x00,0x00,0x00,0x54,0x00,0x00,0x00,0x5a,0x00,0x00,0x00]}

tool: {"D65": [0x00,0x00,0x40,0x43,0x00,0x00,0x70,0x43,0x00,0x00,0x90,0x43,0x00,0x00,0xa8,0x43]}

tool: {"D144": [0x00,0x00,0x00,0x00,0x00,0x00,0x58,0x42,0x00,0x00,0xf0,0x42,0x00,0x00,0x46,0x43]}

tool: {"D97": [0x00,0x00,0xc0,0x43,0x00,0x00,0xd8,0x43,0x00,0x00,0xf0,0x43,0x00,0x00,0x04,0x44]}

tool: {"D134": [0x00,0x00,0x90,0x43,0x00,0x00,0xc3,0x43,0x00,0x00,0xfc,0x43,0x00,0x80,0x1d,0x44]}

assistant: ```c
int main1() {
  int i, j;
  float a[16];
  float e[16];
  float b[16] = {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45};
  float c[16] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15};
  float d[16] = {0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30};
  int ic[16] = {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45};
  int ib[16] = {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45};
  int ia[16];
  char cb[16] = {0, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45};
  char ca[16];
  short sa[16];
  for (i = 0; i < 16; i++) {
    ca[i] = cb[i];
  }
  for (i = 0; i < 16; i++) {
    if (ca[i] != cb[i])
      abort();
  }
  for (i = 0; i < 16; i++) {
    a[i] = b[i] * c[i];
  }
  fbar_mul(a);
  for (i = 0; i < 16; i++) {
    a[i] = b[i] + c[i] + d[i];
    e[i] = b[i] + c[i] + d[i];
    ia[i] = ib[i] + ic[i];
  }
  ibar_add(ia);
  fbar_add(a);
  fbar_add(e);
  for (i = 0; i < 16 / 2; i++) {
    a[i] = b[i + 16 / 2] * c[i + 16 / 2] - b[i] * c[i];
    e[i + 16 / 2] = b[i] * c[i + 16 / 2] + b[i + 16 / 2] * c[i];
  }
  fbar1(a);
  fbar2(e);
  for (i = 1; i <= 16 - 4; i++) {
    a[i + 3] = b[i - 1];
  }
  for (i = 1; i <= 16 - 4; i++) {
    if (a[i + 3] != b[i - 1])
      abort();
  }
  i = 0;
  j = 0;
  while (i < 5 * 16) {
    a[j] = c[j];
    i += 5;
    j++;
  }
  for (i = 0; i < 16; i++) {
    if (a[i] != c[i])
      abort();
  }
  for (i = 16; i > 0; i--) {
    a[16 - i] = d[16 - i];
  }
  for (i = 0; i < 16; i++) {
    if (a[i] != d[i])
      abort();
  }
  for (i = 0; i < 16; i++) {
    a[i] = 5.0;
  }
  for (i = 0; i < 16; i++) {
    if (a[i] != 5.0)
      abort();
  }
  for (i = 0; i < 16; i++) {
    sa[i] = 5;
  }
  for (i = 0; i < 16; i++) {
    if (sa[i] != 5)
      abort();
  }
  for (i = 0; i < 16; i++) {
    ia[i] = ib[i] + 5;
  }
  for (i = 0; i < 16; i++) {
    if (ia[i] != ib[i] + 5)
      abort();
  }
  return 0;
}
```