user: 请将以下的汇编代码转换成C语言代码：

```asm
<write_inner_products>:
  endbr64
  push   %rbp
  movslq %esi,%rax
  lea    0xf(,%rax,4),%rax
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  mov    %edi,%r14d
  push   %r13
  push   %r12
  mov    %edx,%r12d
  push   %rbx
  sub    $0x58,%rsp
  mov    %esi,-0x44(%rbp)
  mov    %rsp,%rcx
  mov    %fs:0x28,%rdx
  mov    %rdx,-0x38(%rbp)
  xor    %edx,%edx
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L133
L169:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L169
L133:
  mov    %rdx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  jne    L94
L18:
  movslq %r14d,%rax
  mov    %rsp,%rcx
  mov    %rsp,-0x50(%rbp)
  lea    0xf(,%rax,8),%rax
  mov    %rax,%rsi
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rsi
  and    $0xfffffffffffffff0,%rdx
  sub    %rsi,%rcx
  cmp    %rcx,%rsp
  je     L165
L7:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L7
L165:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L153
L242:
  mov    %rax,%rdx
  mov    %rsp,%rcx
  and    $0xfffffffffffff000,%rax
  mov    %rsp,-0x78(%rbp)
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L109
L134:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L134
L109:
  mov    %rdx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L96
  orq    $0x0,-0x8(%rsp,%rax,1)
L96:
  mov    -0x78(%rbp),%rdx
  mov    %r12d,%esi
  mov    %r14d,%edi
  mov    %rsp,%r15
  call   <celcon_get_inner_normal@plt>
  mov    %eax,-0x60(%rbp)
  cmp    $0x1,%eax
  je     L256
  xor    %eax,%eax
  mov    %r12d,%esi
  lea    D42(%rip),%rdi
  call   <printf@plt>
  test   %r14d,%r14d
  jle    L201
  mov    -0x78(%rbp),%rdx
  mov    %r14d,%eax
  lea    D56(%rip),%rbx
  mov    %rdx,%r13
  lea    (%rdx,%rax,8),%r12
  nopl   0x0(%rax,%rax,1)
L183:
  movsd  0x0(%r13),%xmm0
  mov    %rbx,%rdi
  mov    $0x1,%eax
  add    $0x8,%r13
  call   <printf@plt>
  cmp    %r12,%r13
  jne    L183
L201:
  lea    D47(%rip),%rdi
  call   <puts@plt>
  mov    -0x50(%rbp),%rsi
  lea    -0x44(%rbp),%rdi
  call   <celcon_length_of_supports@plt>
  mov    -0x44(%rbp),%ecx
  mov    %eax,-0x60(%rbp)
  test   %ecx,%ecx
  jle    L249
  mov    -0x50(%rbp),%rax
  movl   $0x0,-0x5c(%rbp)
  lea    D14(%rip),%rbx
  mov    %rax,-0x70(%rbp)
  lea    -0x2(%r14),%eax
  lea    0x8(%r15,%rax,8),%r12
  nopw   0x0(%rax,%rax,1)
L164:
  mov    -0x5c(%rbp),%r13d
  lea    D74(%rip),%rdi
  xor    %eax,%eax
  mov    %r13d,%esi
  call   <printf@plt>
  mov    %r13d,%eax
  mov    %r13d,-0x7c(%rbp)
  add    $0x1,%eax
  mov    %eax,-0x5c(%rbp)
  mov    -0x70(%rbp),%rax
  mov    (%rax),%edx
  test   %edx,%edx
  jle    L211
  movl   $0x0,-0x50(%rbp)
  nop
L160:
  mov    -0x50(%rbp),%eax
  mov    -0x5c(%rbp),%esi
  mov    %r15,%rcx
  mov    %r14d,%edi
  mov    %r15,%r13
  add    $0x1,%eax
  mov    %eax,%edx
  mov    %eax,-0x48(%rbp)
  call   <celcon_get_lifted_point@plt>
  mov    %eax,-0x60(%rbp)
  cmp    $0x1,%r14d
  jle    L178
  nopl   (%rax)
L223:
  cvttsd2si 0x0(%r13),%esi
  mov    %rbx,%rdi
  xor    %eax,%eax
  add    $0x8,%r13
  call   <printf@plt>
  cmp    %r13,%r12
  jne    L223
L178:
  mov    -0x78(%rbp),%rsi
  mov    %r15,%rdx
  mov    %r14d,%edi
  call   <inner_product@plt>
  lea    D8(%rip),%rdi
  mov    $0x1,%eax
  movsd  %xmm0,-0x58(%rbp)
  call   <printf@plt>
  mov    -0x50(%rbp),%eax
  movsd  -0x58(%rbp),%xmm0
  test   %eax,%eax
  jne    L102
  movl   $0x1,-0x50(%rbp)
  movsd  %xmm0,-0x68(%rbp)
L180:
  mov    -0x70(%rbp),%rax
  mov    -0x50(%rbp),%ecx
  cmp    (%rax),%ecx
  jl     L160
L211:
  movsd  -0x68(%rbp),%xmm0
  mov    -0x7c(%rbp),%esi
  mov    $0x1,%eax
  lea    D23(%rip),%rdi
  call   <printf@plt>
  addq   $0x4,-0x70(%rbp)
  mov    -0x5c(%rbp),%eax
  cmp    %eax,-0x44(%rbp)
  jg     L164
L249:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L163
  mov    -0x60(%rbp),%eax
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L94:
  orq    $0x0,-0x8(%rsp,%rax,1)
  jmp    L18
L153:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L242
  xchg   %ax,%ax
L102:
  movsd  -0x68(%rbp),%xmm1
  comisd %xmm0,%xmm1
  jbe    L167
  mov    -0x48(%rbp),%eax
  movsd  %xmm0,-0x68(%rbp)
  mov    %eax,-0x50(%rbp)
  jmp    L180
  nopl   0x0(%rax,%rax,1)
L167:
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x50(%rbp)
  jmp    L180
L256:
  lea    D21(%rip),%rdi
  call   <puts@plt>
  jmp    L249
L163:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D42
datatype: string
name: extract_symbolic_data
arguments: label: D56
datatype: string
name: extract_symbolic_data
arguments: label: D47
datatype: string
name: extract_symbolic_data
arguments: label: D14
datatype: string
name: extract_symbolic_data
arguments: label: D74
datatype: string
name: extract_symbolic_data
arguments: label: D8
datatype: string
name: extract_symbolic_data
arguments: label: D23
datatype: string
name: extract_symbolic_data
arguments: label: D21
datatype: string

tool: D42: inner normal for cell %d :


tool: D56: %.15le


tool: D47: 
computing the inner products with all points ...

tool: D14:  %d

tool: D74: support %d :


tool: D8:  : %.15le


tool: D23: -> support %d has minimal product : %.15le


tool: D21: an error happened...

assistant: ```c
int write_inner_products(int n, int r, int k) {
  int fail, i, j, kk;
  int nl[r];
  double normal[n], point[n], prod, minprod;
  fail = celcon_get_inner_normal(n, k, normal);
  if (fail == 1)
    printf("an error happened...\n");
  else {
    printf("inner normal for cell %d :\n", k);
    for (i = 0; i < n; i++)
      printf("%.15le\n", normal[i]);
    printf("\ncomputing the inner products with all points ...\n");
    fail = celcon_length_of_supports(&r, nl);
    for (i = 0; i < r; i++) {
      printf("support %d :\n", i);
      for (j = 0; j < nl[i]; j++) {
        fail = celcon_get_lifted_point(n, i + 1, j + 1, point);
        for (kk = 0; kk < n - 1; kk++)
          printf(" %d", (int)point[kk]);
        prod = inner_product(n, normal, point);
        printf(" : %.15le\n", prod);
        if (j == 0)
          minprod = prod;
        else if (prod < minprod)
          minprod = prod;
      }
      printf("-> support %d has minimal product : %.15le\n", i, minprod);
    }
  }
  return fail;
}
```