user: 下面的汇编指令对应的C源代码是什么：

```asm
<ShortSITable>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  lea    D144(%rip),%rsi
  lea    D141(%rip),%rdi
  call   <fopen@plt>
  mov    %rax,%rbp
  mov    %rax,%rcx
  mov    $0x19,%edx
  mov    $0x1,%esi
  lea    D9(%rip),%rdi
  call   <fwrite@plt>
  mov    %rbp,%rcx
  mov    $0x2f,%edx
  mov    $0x1,%esi
  lea    D138(%rip),%rdi
  call   <fwrite@plt>
  mov    %rbp,%rcx
  mov    $0x19,%edx
  mov    $0x1,%esi
  lea    D12(%rip),%rdi
  call   <fwrite@plt>
  mov    %rbp,%rcx
  mov    $0x2e,%edx
  mov    $0x1,%esi
  lea    D35(%rip),%rdi
  call   <fwrite@plt>
  mov    $0xffffffff,%ebx
  lea    D40(%rip),%r12
L0:
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  mulsd  D118(%rip),%xmm0
  pxor   %xmm5,%xmm5
  cvtsd2ss %xmm0,%xmm5
  lea    0x24(%rsp),%rdx
  lea    0x20(%rsp),%rsi
  lea    0x1c(%rsp),%rdi
  movss  %xmm5,0x4(%rsp)
  movaps %xmm5,%xmm0
  call   <SimpleAtmosphere@plt>
  pxor   %xmm0,%xmm0
  cvtss2sd 0x4(%rsp),%xmm0
  pxor   %xmm3,%xmm3
  cvtss2sd 0x24(%rsp),%xmm3
  pxor   %xmm2,%xmm2
  cvtss2sd 0x20(%rsp),%xmm2
  pxor   %xmm1,%xmm1
  cvtss2sd 0x1c(%rsp),%xmm1
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    $0x4,%eax
  call   <fprintf@plt>
  movss  0x24(%rsp),%xmm6
  movss  D75(%rip),%xmm7
  mulss  0x20(%rsp),%xmm7
  movss  %xmm7,0xc(%rsp)
  pxor   %xmm0,%xmm0
  cvtss2sd 0x1c(%rsp),%xmm0
  mulsd  D50(%rip),%xmm0
  pxor   %xmm3,%xmm3
  cvtsd2ss %xmm0,%xmm3
  movss  %xmm3,0x4(%rsp)
  movss  %xmm6,0x8(%rsp)
  movaps %xmm6,%xmm0
  call   <sqrt@plt>
  mulsd  D61(%rip),%xmm0
  pxor   %xmm4,%xmm4
  cvtsd2ss %xmm0,%xmm4
  pxor   %xmm0,%xmm0
  cvtss2sd 0x8(%rsp),%xmm0
  mulsd  D121(%rip),%xmm0
  cvtsd2ss %xmm0,%xmm0
  cvtss2sd %xmm0,%xmm0
  movss  %xmm4,0x8(%rsp)
  pxor   %xmm3,%xmm3
  cvtss2sd %xmm4,%xmm3
  pxor   %xmm2,%xmm2
  cvtss2sd 0x4(%rsp),%xmm2
  pxor   %xmm1,%xmm1
  cvtss2sd 0xc(%rsp),%xmm1
  lea    D108(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x4,%eax
  call   <fprintf@plt>
  movss  0x24(%rsp),%xmm0
  call   <MetricViscosity@plt>
  movaps %xmm0,%xmm1
  divss  0x4(%rsp),%xmm1
  movss  0x8(%rsp),%xmm2
  divss  %xmm1,%xmm2
  cvtss2sd %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm0
  mulsd  D34(%rip),%xmm0
  mulsd  D154(%rip),%xmm2
  cvtss2sd %xmm1,%xmm1
  lea    D135(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x3,%eax
  call   <fprintf@plt>
  add    $0x1,%ebx
  cmp    $0x29,%ebx
  jne    L0
  mov    %rbp,%rdi
  call   <fclose@plt>
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L4
  add    $0x30,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L4:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D144
type: string
name: extract_symbolic_data
arguments: label: D141
type: string
name: extract_symbolic_data
arguments: label: D9
type: string
name: extract_symbolic_data
arguments: label: D138
type: string
name: extract_symbolic_data
arguments: label: D12
type: string
name: extract_symbolic_data
arguments: label: D35
type: string
name: extract_symbolic_data
arguments: label: D40
type: string
name: extract_symbolic_data
arguments: label: D118
type: f64
name: extract_symbolic_data
arguments: label: D75
type: f32
name: extract_symbolic_data
arguments: label: D50
type: f64
name: extract_symbolic_data
arguments: label: D61
type: f64
name: extract_symbolic_data
arguments: label: D121
type: f64
name: extract_symbolic_data
arguments: label: D108
type: string
name: extract_symbolic_data
arguments: label: D34
type: f64
name: extract_symbolic_data
arguments: label: D154
type: byte[8]
name: extract_symbolic_data
arguments: label: D135
type: string

tool: D144: w

tool: D141: si2c.prt

tool: D9:  alt  sigma  delta  theta

tool: D138:   temp  press  dens   a    visc   k.visc ratio


tool: D12:   Km                     

tool: D35:     K  N/sq.m  kcm  m/sec kg/m-s  sq.m/s  1/m


tool: D40: %4.1f %6.4f %6.4f %6.4f

tool: D118: 0.5

tool: D75: 101325

tool: D50: 1.225

tool: D61: 340.294

tool: D121: 288.15

tool: D108: %6.1f %6.0f %5.3f %5.1f

tool: D34: 1000000

tool: {"D154": [0x8d,0xed,0xb5,0xa0,0xf7,0xc6,0xb0,0x3e]}

tool: D135: %6.2f %8.2E %5.2f


assistant: ```c
void ShortSITable() {
  FILE *Itxt;
  int i;
  float altKm;
  float sigma, delta, theta;
  float temp, pressure, density, asound;
  float viscosity, kinematicViscosity, vratio;
  Itxt = fopen("si2c.prt", "w");
  fprintf(Itxt, " alt  sigma  delta  theta");
  fprintf(Itxt, "  temp  press  dens   a    visc   k.visc ratio\n");
  fprintf(Itxt, "  Km                     ");
  fprintf(Itxt, "    K  N/sq.m  kcm  m/sec kg/m-s  sq.m/s  1/m\n");
  for (i = -1; i <= 40; i++) {
    altKm = 0.5 * i;
    SimpleAtmosphere(altKm, &sigma, &delta, &theta);
    fprintf(Itxt, "%4.1f %6.4f %6.4f %6.4f", altKm, sigma, delta, theta);
    temp = 288.15 * theta;
    pressure = 101325.0 * delta;
    density = 1.225 * sigma;
    asound = 340.294 * sqrt(theta);
    fprintf(Itxt, "%6.1f %6.0f %5.3f %5.1f", temp, pressure, density, asound);
    viscosity = MetricViscosity(theta);
    kinematicViscosity = viscosity / density;
    vratio = asound / kinematicViscosity;
    fprintf(Itxt, "%6.2f %8.2E %5.2f\n", 1.0E6 * viscosity, kinematicViscosity, 1.0E-6 * vratio);
  }
  fclose(Itxt);
}
```