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

```asm
<triBoxOverlap>:
  endbr64
  sub    $0x78,%rsp
  movq   (%rdi),%xmm1
  movq   (%rdx),%xmm2
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  movq   0x4(%rdi),%xmm0
  movq   0x4(%rdx),%xmm3
  movss  D6(%rip),%xmm8
  subps  %xmm1,%xmm2
  movaps %xmm1,%xmm14
  shufps $0xe5,%xmm1,%xmm1
  subps  %xmm0,%xmm3
  movaps %xmm2,%xmm7
  movss  %xmm2,0xc(%rsp)
  movlps %xmm2,0x48(%rsp)
  movq   0x10(%rdx),%xmm2
  shufps $0xe5,%xmm7,%xmm7
  movaps %xmm3,%xmm6
  movaps %xmm7,%xmm13
  movss  %xmm7,0x14(%rsp)
  movss  0x1c(%rdx),%xmm7
  shufps $0xe5,%xmm6,%xmm6
  subps  %xmm0,%xmm2
  movaps %xmm6,%xmm9
  shufps $0xe5,%xmm0,%xmm0
  movss  %xmm6,0x50(%rsp)
  subss  %xmm1,%xmm7
  movaps %xmm9,%xmm1
  movaps %xmm2,%xmm11
  movaps %xmm2,%xmm4
  movss  %xmm2,0x10(%rsp)
  subps  %xmm3,%xmm11
  shufps $0xe5,%xmm4,%xmm4
  movss  %xmm4,0x18(%rsp)
  movss  0x20(%rdx),%xmm4
  movaps %xmm7,%xmm2
  subss  %xmm0,%xmm4
  movaps %xmm13,%xmm0
  movaps %xmm11,%xmm5
  movaps %xmm11,%xmm10
  movaps %xmm11,%xmm6
  shufps $0xe5,%xmm5,%xmm5
  mulss  %xmm11,%xmm1
  movaps %xmm5,%xmm3
  andps  %xmm8,%xmm10
  mulss  %xmm5,%xmm0
  andps  %xmm8,%xmm3
  mulss  %xmm5,%xmm2
  subss  %xmm1,%xmm0
  movaps %xmm4,%xmm1
  mulss  %xmm11,%xmm1
  subss  %xmm1,%xmm2
  comiss %xmm0,%xmm2
  ja     L123
  movaps %xmm0,%xmm1
  movaps %xmm2,%xmm0
  movaps %xmm1,%xmm2
L123:
  movss  0x4(%rsi),%xmm13
  movss  0x8(%rsi),%xmm12
  xor    %eax,%eax
  movaps %xmm13,%xmm15
  movaps %xmm12,%xmm1
  mulss  %xmm3,%xmm15
  mulss  %xmm10,%xmm1
  addss  %xmm15,%xmm1
  comiss %xmm1,%xmm0
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm2,%xmm1
  ja     L257
  movss  0xc(%rdx),%xmm1
  movaps %xmm1,%xmm2
  movss  0x18(%rdx),%xmm1
  subss  %xmm14,%xmm2
  subss  %xmm14,%xmm1
  movss  0xc(%rsp),%xmm14
  movss  %xmm2,0x1c(%rsp)
  subss  %xmm14,%xmm2
  movaps %xmm1,%xmm0
  movss  %xmm1,0x24(%rsp)
  movaps %xmm2,%xmm15
  movaps %xmm5,%xmm2
  xorps  D118(%rip),%xmm2
  movaps %xmm2,%xmm1
  movaps %xmm14,%xmm2
  movaps %xmm15,%xmm14
  mulss  %xmm1,%xmm2
  mulss  %xmm9,%xmm14
  mulss  %xmm0,%xmm1
  addss  %xmm14,%xmm2
  movaps %xmm4,%xmm14
  mulss  %xmm15,%xmm14
  addss  %xmm14,%xmm1
  comiss %xmm2,%xmm1
  ja     L193
  movaps %xmm2,%xmm14
  movaps %xmm1,%xmm2
  movaps %xmm14,%xmm1
L193:
  movss  (%rsi),%xmm0
  movaps %xmm15,%xmm14
  xor    %eax,%eax
  andps  %xmm8,%xmm14
  mulss  %xmm0,%xmm3
  movss  %xmm0,0x20(%rsp)
  movaps %xmm12,%xmm0
  mulss  %xmm14,%xmm0
  addss  %xmm0,%xmm3
  comiss %xmm3,%xmm2
  ja     L257
  xorps  D118(%rip),%xmm3
  comiss %xmm1,%xmm3
  ja     L257
  movss  0x10(%rsp),%xmm1
  movss  0x1c(%rsp),%xmm2
  movaps %xmm7,%xmm3
  mulss  %xmm15,%xmm3
  mulss  %xmm15,%xmm1
  mulss  %xmm6,%xmm2
  subss  %xmm1,%xmm2
  movss  0x24(%rsp),%xmm1
  mulss  %xmm6,%xmm1
  subss  %xmm3,%xmm1
  comiss %xmm1,%xmm2
  ja     L138
  movaps %xmm1,%xmm3
  movaps %xmm2,%xmm1
  movaps %xmm3,%xmm2
L138:
  mulss  0x20(%rsp),%xmm10
  xor    %eax,%eax
  mulss  %xmm13,%xmm14
  addss  %xmm14,%xmm10
  comiss %xmm10,%xmm1
  ja     L257
  xorps  D118(%rip),%xmm10
  comiss %xmm2,%xmm10
  ja     L257
  movaps %xmm7,%xmm0
  subss  0x10(%rsp),%xmm0
  movaps %xmm4,%xmm14
  movss  0x14(%rsp),%xmm2
  subss  0x18(%rsp),%xmm14
  movaps %xmm0,%xmm3
  movaps %xmm0,%xmm1
  movss  %xmm0,0x30(%rsp)
  mulss  %xmm14,%xmm2
  andps  %xmm8,%xmm3
  movaps %xmm14,%xmm10
  movss  %xmm3,0x28(%rsp)
  mulss  %xmm9,%xmm1
  movaps %xmm7,%xmm3
  andps  %xmm8,%xmm10
  mulss  %xmm14,%xmm3
  mulss  %xmm4,%xmm0
  subss  %xmm1,%xmm2
  subss  %xmm0,%xmm3
  comiss %xmm2,%xmm3
  jbe    L195
L280:
  movss  0x28(%rsp),%xmm0
  movaps %xmm13,%xmm1
  xor    %eax,%eax
  mulss  %xmm10,%xmm1
  mulss  %xmm12,%xmm0
  addss  %xmm0,%xmm1
  comiss %xmm1,%xmm2
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm3,%xmm1
  ja     L257
  movss  0x24(%rsp),%xmm0
  movaps %xmm14,%xmm3
  movaps %xmm14,%xmm2
  xorps  D118(%rip),%xmm2
  movaps %xmm0,%xmm1
  subss  0x1c(%rsp),%xmm1
  unpcklps %xmm1,%xmm3
  movss  %xmm1,0x2c(%rsp)
  mulss  %xmm9,%xmm1
  movq   %xmm3,%rdx
  movss  0xc(%rsp),%xmm3
  mulss  %xmm2,%xmm3
  mulss  %xmm0,%xmm2
  addss  %xmm1,%xmm3
  movss  0x2c(%rsp),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm2
  comiss %xmm3,%xmm2
  ja     L48
  movaps %xmm3,%xmm1
  movaps %xmm2,%xmm3
  movaps %xmm1,%xmm2
L48:
  movss  0x2c(%rsp),%xmm0
  xor    %eax,%eax
  movaps %xmm0,%xmm1
  andps  %xmm8,%xmm1
  movss  %xmm1,0x34(%rsp)
  movss  0x20(%rsp),%xmm1
  mulss  %xmm10,%xmm1
  movss  0x34(%rsp),%xmm10
  mulss  %xmm12,%xmm10
  addss  %xmm10,%xmm1
  comiss %xmm1,%xmm3
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm2,%xmm1
  ja     L257
  movss  0x30(%rsp),%xmm2
  movss  0x14(%rsp),%xmm1
  movss  0xc(%rsp),%xmm10
  movss  0x1c(%rsp),%xmm3
  mulss  %xmm0,%xmm1
  mulss  %xmm2,%xmm10
  mulss  0x10(%rsp),%xmm0
  mulss  %xmm2,%xmm3
  subss  %xmm1,%xmm10
  subss  %xmm0,%xmm3
  comiss %xmm10,%xmm3
  ja     L224
  movaps %xmm10,%xmm1
  movaps %xmm3,%xmm10
  movaps %xmm1,%xmm3
L224:
  movss  0x34(%rsp),%xmm2
  movss  0x28(%rsp),%xmm1
  xor    %eax,%eax
  mulss  0x20(%rsp),%xmm1
  mulss  %xmm13,%xmm2
  addss  %xmm2,%xmm1
  comiss %xmm1,%xmm10
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm3,%xmm1
  ja     L257
  movss  0x14(%rsp),%xmm3
  movaps %xmm9,%xmm10
  subss  %xmm4,%xmm10
  movaps %xmm3,%xmm0
  subss  %xmm7,%xmm0
  mulss  %xmm10,%xmm3
  movaps %xmm0,%xmm2
  movaps %xmm0,%xmm1
  movss  %xmm0,0x38(%rsp)
  mulss  %xmm9,%xmm1
  andps  %xmm8,%xmm2
  movss  %xmm2,0x34(%rsp)
  mulss  0x18(%rsp),%xmm0
  movaps %xmm10,%xmm2
  andps  %xmm8,%xmm2
  movss  %xmm2,0x28(%rsp)
  movss  0x10(%rsp),%xmm2
  mulss  %xmm10,%xmm2
  subss  %xmm1,%xmm3
  subss  %xmm0,%xmm2
  comiss %xmm3,%xmm2
  ja     L288
  movaps %xmm3,%xmm1
  movaps %xmm2,%xmm3
  movaps %xmm1,%xmm2
L288:
  movss  0x34(%rsp),%xmm0
  movss  0x28(%rsp),%xmm1
  xor    %eax,%eax
  mulss  %xmm12,%xmm0
  mulss  %xmm13,%xmm1
  addss  %xmm0,%xmm1
  comiss %xmm1,%xmm3
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm2,%xmm1
  ja     L257
  movss  0xc(%rsp),%xmm2
  movaps %xmm10,%xmm3
  xorps  D118(%rip),%xmm3
  movaps %xmm2,%xmm0
  subss  0x24(%rsp),%xmm0
  mulss  %xmm3,%xmm2
  mulss  0x1c(%rsp),%xmm3
  movaps %xmm0,%xmm1
  movss  %xmm0,0x3c(%rsp)
  mulss  %xmm9,%xmm1
  mulss  0x18(%rsp),%xmm0
  addss  %xmm1,%xmm2
  addss  %xmm0,%xmm3
  movaps %xmm2,%xmm10
  comiss %xmm2,%xmm3
  ja     L268
  movaps %xmm10,%xmm1
  movaps %xmm3,%xmm10
  movaps %xmm1,%xmm3
L268:
  movss  0x3c(%rsp),%xmm0
  movaps %xmm12,%xmm2
  movss  0x28(%rsp),%xmm1
  xor    %eax,%eax
  mulss  0x20(%rsp),%xmm1
  andps  %xmm0,%xmm8
  mulss  %xmm8,%xmm2
  addss  %xmm2,%xmm1
  comiss %xmm1,%xmm10
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm3,%xmm1
  ja     L257
  movss  0x38(%rsp),%xmm2
  movss  0x1c(%rsp),%xmm3
  movss  0x10(%rsp),%xmm1
  mulss  %xmm2,%xmm3
  mulss  %xmm0,%xmm1
  mulss  0x24(%rsp),%xmm2
  mulss  %xmm7,%xmm0
  subss  %xmm1,%xmm3
  subss  %xmm0,%xmm2
  comiss %xmm2,%xmm3
  movaps %xmm2,%xmm10
  ja     L135
  movaps %xmm3,%xmm10
  movaps %xmm2,%xmm3
L135:
  movss  0x34(%rsp),%xmm2
  movss  0x20(%rsp),%xmm0
  movaps %xmm8,%xmm1
  xor    %eax,%eax
  mulss  %xmm13,%xmm1
  mulss  %xmm0,%xmm2
  addss  %xmm2,%xmm1
  comiss %xmm1,%xmm10
  ja     L257
  xorps  D118(%rip),%xmm1
  comiss %xmm3,%xmm1
  ja     L257
  movss  0x1c(%rsp),%xmm3
  movss  0xc(%rsp),%xmm2
  movaps %xmm3,%xmm1
  maxss  %xmm2,%xmm3
  minss  %xmm2,%xmm1
  movss  0x24(%rsp),%xmm2
  movaps %xmm2,%xmm8
  maxss  %xmm3,%xmm2
  minss  %xmm1,%xmm8
  comiss %xmm0,%xmm8
  ja     L257
  xorps  D118(%rip),%xmm0
  comiss %xmm2,%xmm0
  ja     L257
  movss  0x10(%rsp),%xmm3
  movss  0x14(%rsp),%xmm0
  movaps %xmm3,%xmm1
  maxss  %xmm0,%xmm3
  minss  %xmm0,%xmm1
  movaps %xmm7,%xmm0
  maxss  %xmm3,%xmm7
  minss  %xmm1,%xmm0
  comiss %xmm13,%xmm0
  ja     L257
  xorps  D118(%rip),%xmm13
  comiss %xmm7,%xmm13
  ja     L257
  movss  0x18(%rsp),%xmm7
  movaps %xmm7,%xmm1
  maxss  %xmm9,%xmm7
  minss  %xmm9,%xmm1
  movaps %xmm7,%xmm9
  movaps %xmm4,%xmm7
  minss  %xmm1,%xmm7
  maxss  %xmm9,%xmm4
  comiss %xmm12,%xmm7
  ja     L257
  xorps  D118(%rip),%xmm12
  comiss %xmm4,%xmm12
  ja     L257
  movq   %rdx,%xmm7
  movss  0x2c(%rsp),%xmm1
  movaps %xmm14,%xmm0
  lea    0x48(%rsp),%r8
  mulps  %xmm7,%xmm11
  movss  0x30(%rsp),%xmm7
  mov    %rsi,%rdx
  lea    0x58(%rsp),%rdi
  mulss  %xmm15,%xmm0
  mov    %r8,%rsi
  mulss  %xmm7,%xmm5
  mulss  %xmm15,%xmm7
  mulss  %xmm6,%xmm1
  unpcklps %xmm0,%xmm5
  movaps %xmm7,%xmm0
  subps  %xmm5,%xmm11
  subss  %xmm1,%xmm0
  movlps %xmm11,0x58(%rsp)
  movss  %xmm0,0x60(%rsp)
  call   <planeBoxOverlap@plt>
  test   %eax,%eax
  setne  %al
  movzbl %al,%eax
  cs nopw 0x0(%rax,%rax,1)
L257:
  mov    0x68(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L89
  add    $0x78,%rsp
  ret
  nopl   (%rax)
L195:
  movaps %xmm2,%xmm1
  movaps %xmm3,%xmm2
  movaps %xmm1,%xmm3
  jmp    L280
L89:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D6
datatype: dword
name: extract_symbolic_data
arguments: data_label: D118
datatype: byte[16]

tool: D6: 2147483647

tool: {"D118": [0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

assistant: ```c
int triBoxOverlap(float boxcenter[3], float boxhalfsize[3], float triverts[3][3]) {
  float v0[3], v1[3], v2[3];
  float min, max, p0, p1, p2, rad, fex, fey, fez;
  float normal[3], e0[3], e1[3], e2[3];
  v0[0] = triverts[0][0] - boxcenter[0];
  v0[1] = triverts[0][1] - boxcenter[1];
  v0[2] = triverts[0][2] - boxcenter[2];
  ;
  v1[0] = triverts[1][0] - boxcenter[0];
  v1[1] = triverts[1][1] - boxcenter[1];
  v1[2] = triverts[1][2] - boxcenter[2];
  ;
  v2[0] = triverts[2][0] - boxcenter[0];
  v2[1] = triverts[2][1] - boxcenter[1];
  v2[2] = triverts[2][2] - boxcenter[2];
  ;
  e0[0] = v1[0] - v0[0];
  e0[1] = v1[1] - v0[1];
  e0[2] = v1[2] - v0[2];
  ;
  e1[0] = v2[0] - v1[0];
  e1[1] = v2[1] - v1[1];
  e1[2] = v2[2] - v1[2];
  ;
  e2[0] = v0[0] - v2[0];
  e2[1] = v0[1] - v2[1];
  e2[2] = v0[2] - v2[2];
  ;
  fex = fabsf(e0[0]);
  fey = fabsf(e0[1]);
  fez = fabsf(e0[2]);
  p0 = e0[2] * v0[1] - e0[1] * v0[2];
  p2 = e0[2] * v2[1] - e0[1] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[1] + fey * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = -e0[2] * v0[0] + e0[0] * v0[2];
  p2 = -e0[2] * v2[0] + e0[0] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[0] + fex * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p1 = e0[1] * v1[0] - e0[0] * v1[1];
  p2 = e0[1] * v2[0] - e0[0] * v2[1];
  if (p2 < p1) {
    min = p2;
    max = p1;
  } else {
    min = p1;
    max = p2;
  }
  rad = fey * boxhalfsize[0] + fex * boxhalfsize[1];
  if (min > rad || max < -rad)
    return 0;
  ;
  fex = fabsf(e1[0]);
  fey = fabsf(e1[1]);
  fez = fabsf(e1[2]);
  p0 = e1[2] * v0[1] - e1[1] * v0[2];
  p2 = e1[2] * v2[1] - e1[1] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[1] + fey * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = -e1[2] * v0[0] + e1[0] * v0[2];
  p2 = -e1[2] * v2[0] + e1[0] * v2[2];
  if (p0 < p2) {
    min = p0;
    max = p2;
  } else {
    min = p2;
    max = p0;
  }
  rad = fez * boxhalfsize[0] + fex * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = e1[1] * v0[0] - e1[0] * v0[1];
  p1 = e1[1] * v1[0] - e1[0] * v1[1];
  if (p0 < p1) {
    min = p0;
    max = p1;
  } else {
    min = p1;
    max = p0;
  }
  rad = fey * boxhalfsize[0] + fex * boxhalfsize[1];
  if (min > rad || max < -rad)
    return 0;
  ;
  fex = fabsf(e2[0]);
  fey = fabsf(e2[1]);
  fez = fabsf(e2[2]);
  p0 = e2[2] * v0[1] - e2[1] * v0[2];
  p1 = e2[2] * v1[1] - e2[1] * v1[2];
  if (p0 < p1) {
    min = p0;
    max = p1;
  } else {
    min = p1;
    max = p0;
  }
  rad = fez * boxhalfsize[1] + fey * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p0 = -e2[2] * v0[0] + e2[0] * v0[2];
  p1 = -e2[2] * v1[0] + e2[0] * v1[2];
  if (p0 < p1) {
    min = p0;
    max = p1;
  } else {
    min = p1;
    max = p0;
  }
  rad = fez * boxhalfsize[0] + fex * boxhalfsize[2];
  if (min > rad || max < -rad)
    return 0;
  ;
  p1 = e2[1] * v1[0] - e2[0] * v1[1];
  p2 = e2[1] * v2[0] - e2[0] * v2[1];
  if (p2 < p1) {
    min = p2;
    max = p1;
  } else {
    min = p1;
    max = p2;
  }
  rad = fey * boxhalfsize[0] + fex * boxhalfsize[1];
  if (min > rad || max < -rad)
    return 0;
  ;
  min = max = v0[0];
  if (v1[0] < min)
    min = v1[0];
  if (v1[0] > max)
    max = v1[0];
  if (v2[0] < min)
    min = v2[0];
  if (v2[0] > max)
    max = v2[0];
  ;
  if (min > boxhalfsize[0] || max < -boxhalfsize[0])
    return 0;
  min = max = v0[1];
  if (v1[1] < min)
    min = v1[1];
  if (v1[1] > max)
    max = v1[1];
  if (v2[1] < min)
    min = v2[1];
  if (v2[1] > max)
    max = v2[1];
  ;
  if (min > boxhalfsize[1] || max < -boxhalfsize[1])
    return 0;
  min = max = v0[2];
  if (v1[2] < min)
    min = v1[2];
  if (v1[2] > max)
    max = v1[2];
  if (v2[2] < min)
    min = v2[2];
  if (v2[2] > max)
    max = v2[2];
  ;
  if (min > boxhalfsize[2] || max < -boxhalfsize[2])
    return 0;
  normal[0] = e0[1] * e1[2] - e0[2] * e1[1];
  normal[1] = e0[2] * e1[0] - e0[0] * e1[2];
  normal[2] = e0[0] * e1[1] - e0[1] * e1[0];
  ;
  if (!planeBoxOverlap(normal, v0, boxhalfsize))
    return 0;
  return 1;
}
```