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

```asm
<get_face_2d_utopia>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x8,%rsp
  mov    %edi,-0x54(%rbp)
  mov    %esi,-0x58(%rbp)
  mov    %edx,-0x5c(%rbp)
  mov    %ecx,-0x60(%rbp)
  mov    %r8d,-0x64(%rbp)
  mov    %r9d,-0x68(%rbp)
  movsd  %xmm0,-0x70(%rbp)
  movsd  %xmm1,-0x78(%rbp)
  movsd  %xmm2,-0x80(%rbp)
  movl   $0x1,-0x44(%rbp)
  movl   $0x1,-0x40(%rbp)
  movsd  D58(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D58(%rip),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x78(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x10(%rbp),%xmm0
  mulsd  -0x28(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jbe    L18
  movl   $0x0,-0x44(%rbp)
L18:
  mov    -0x58(%rbp),%edx
  mov    -0x68(%rbp),%eax
  add    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x64(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl 0x10(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x28(%rbp),%xmm2
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm3
  subsd  %xmm3,%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D117(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movapd %xmm0,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  D58(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D98(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  add    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x44(%rbp),%eax
  imul   -0x64(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x44(%rbp),%edx
  mov    0x10(%rbp),%eax
  add    %edx,%eax
  imul   -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  add    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x44(%rbp),%edx
  mov    0x10(%rbp),%eax
  add    %edx,%eax
  imul   -0x64(%rbp),%eax
  add    %ecx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x44(%rbp),%eax
  sub    0x10(%rbp),%eax
  imul   -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  add    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x44(%rbp),%eax
  sub    0x10(%rbp),%eax
  imul   -0x64(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  add    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x44(%rbp),%eax
  imul   -0x64(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D117(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x80(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x68(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    $0x1,%edx
  sub    %eax,%edx
  lea    (%rcx,%rdx,1),%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x44(%rbp),%eax
  imul   -0x64(%rbp),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x64(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    $0x1,%edx
  sub    %eax,%edx
  lea    (%rcx,%rdx,1),%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D6(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movsd  D6(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x44(%rbp),%eax
  imul   -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  add    %eax,%edx
  mov    -0x68(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    $0x1,%ecx
  sub    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x44(%rbp),%eax
  imul   -0x64(%rbp),%eax
  add    %eax,%edx
  mov    -0x64(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    $0x1,%ecx
  sub    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x70(%rbp),%xmm1
  movsd  -0x80(%rbp),%xmm2
  movsd  D6(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x70(%rbp),%xmm2
  movsd  D6(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x28(%rbp),%xmm0
  jbe    L19
  movsd  D107(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
L19:
  movsd  -0x80(%rbp),%xmm0
  mulsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x10(%rbp),%xmm0
  jbe    L5
  movsd  D107(%rip),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movl   $0xffffffff,-0x40(%rbp)
L5:
  movsd  -0x10(%rbp),%xmm1
  movsd  D6(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x28(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x30(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x10(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x58(%rbp),%edx
  mov    -0x68(%rbp),%eax
  add    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x64(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x30(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x10(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x68(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    %eax,%edx
  mov    $0x1,%eax
  sub    %edx,%eax
  imul   -0x40(%rbp),%eax
  mov    %eax,%edx
  mov    -0x58(%rbp),%eax
  sub    %edx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x64(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    %eax,%ecx
  mov    $0x1,%eax
  sub    %ecx,%eax
  imul   -0x40(%rbp),%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x30(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x10(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x58(%rbp),%edx
  mov    -0x68(%rbp),%eax
  add    %eax,%edx
  mov    -0x68(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    %eax,%ecx
  mov    $0x1,%eax
  sub    %ecx,%eax
  imul   -0x40(%rbp),%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x54(%rbp),%eax
  add    %eax,%edx
  mov    -0x64(%rbp),%eax
  add    %eax,%edx
  mov    -0x64(%rbp),%eax
  imul   0x10(%rbp),%eax
  mov    %eax,%ecx
  mov    $0x1,%eax
  sub    %ecx,%eax
  imul   -0x40(%rbp),%eax
  mov    %eax,%ecx
  mov    %edx,%eax
  sub    %ecx,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x30(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sdl 0x10(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  -0x20(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    0x20(%rbp),%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: label: D58
datatype: f64
name: disassemble_data
arguments: label: D117
datatype: f64
name: disassemble_data
arguments: label: D98
datatype: f64
name: disassemble_data
arguments: label: D6
datatype: f64
name: disassemble_data
arguments: label: D107
datatype: f32[2]

tool: D58: 1

tool: D117: 0.5

tool: D98: 0.1666666666666666

tool: D6: 0.25

tool: {"D107": [0.0,-1.875]}

assistant: ```c
void get_face_2d_utopia(int iX, int iY, int nX, int nY, int X_nbr, int Y_nbr, int nrm, int tid, double delta_t, double u_face, double u_face_t, double *sc_face, double *sc_old) {
  int nbrid;
  int offset = 1;
  int iwind_t = 1;
  double tmp;
  double tmp_2;
  double sc_face_tmp;
  double wind = 1.;
  double wind_t = 1.;
  double crnt;
  double crnt_t;
  crnt = u_face * delta_t * 1.;
  if (crnt * nrm > 0.)
    offset = 0;
  nbrid = (iY + (Y_nbr)) * nX + iX + (X_nbr);
  sc_face_tmp = 0.5 * (*(sc_old + nbrid) + *(sc_old + tid) - crnt * nrm * (*(sc_old + nbrid) - *(sc_old + tid)));
  tmp = (1. - crnt * crnt) * 0.1666666666666666;
  nbrid = (iY + (offset)*Y_nbr) * nX + iX + (offset)*X_nbr;
  sc_face_tmp += *(sc_old + nbrid) * 2. * tmp;
  nbrid = (iY + (offset + nrm) * Y_nbr) * nX + iX + (offset + nrm) * X_nbr;
  sc_face_tmp -= *(sc_old + nbrid) * tmp;
  nbrid = (iY + (offset - nrm) * Y_nbr) * nX + iX + (offset - nrm) * X_nbr;
  sc_face_tmp -= *(sc_old + nbrid) * tmp;
  nbrid = (iY + (offset)*Y_nbr) * nX + iX + (offset)*X_nbr;
  sc_face_tmp -= *(sc_old + nbrid) * 0.5 * u_face_t * delta_t * 1. * u_face_t * delta_t * 1.;
  nbrid = (iY + (offset)*Y_nbr + (1 - Y_nbr * nrm)) * nX + iX + (offset)*X_nbr + (1 - X_nbr * nrm);
  sc_face_tmp += *(sc_old + nbrid) * u_face_t * delta_t * 1. * (-0.25 + 0.25 * u_face_t * delta_t * 1.);
  nbrid = (iY + (offset)*Y_nbr - (1 - Y_nbr * nrm)) * nX + iX + (offset)*X_nbr - (1 - X_nbr * nrm);
  sc_face_tmp += *(sc_old + nbrid) * u_face_t * delta_t * 1. * (0.25 + 0.25 * u_face_t * delta_t * 1.);
  if (crnt < 0.)
    wind = -1.;
  crnt_t = u_face_t * delta_t * 1.;
  if (crnt_t < 0.) {
    wind_t = -1.;
    iwind_t = -1;
  }
  tmp_2 = 0.25 * crnt_t * (wind - crnt);
  sc_face_tmp += *(sc_old + tid) * wind_t * nrm * tmp_2;
  nbrid = (iY + (Y_nbr)) * nX + iX + (X_nbr);
  sc_face_tmp -= *(sc_old + nbrid) * wind_t * nrm * tmp_2;
  nbrid = (iY - iwind_t * (1 - Y_nbr * nrm)) * nX + iX - iwind_t * (1 - X_nbr * nrm);
  sc_face_tmp -= *(sc_old + nbrid) * wind_t * nrm * tmp_2;
  nbrid = (iY + (Y_nbr)-iwind_t * (1 - Y_nbr * nrm)) * nX + iX + (X_nbr)-iwind_t * (1 - X_nbr * nrm);
  sc_face_tmp += *(sc_old + nbrid) * wind_t * nrm * tmp_2;
  *sc_face = sc_face_tmp;
}
```