user: 请从给定的汇编指令推导出C源代码:

```asm
<ShortSITable>:
  endbr64
  push   %r15
  lea    D88(%rip),%rsi
  lea    D71(%rip),%rdi
  push   %r14
  push   %r13
  push   %r12
  lea    D109(%rip),%r12
  push   %rbp
  push   %rbx
  mov    $0xffffffff,%ebx
  sub    $0x38,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x28(%rsp)
  xor    %eax,%eax
  lea    0x24(%rsp),%r15
  lea    0x20(%rsp),%r14
  call   <fopen@plt>
  mov    $0x19,%edx
  mov    $0x1,%esi
  lea    D91(%rip),%rdi
  mov    %rax,%rbp
  mov    %rax,%rcx
  lea    0x1c(%rsp),%r13
  call   <fwrite@plt>
  mov    %rbp,%rcx
  mov    $0x2f,%edx
  mov    $0x1,%esi
  lea    D57(%rip),%rdi
  call   <fwrite@plt>
  mov    %rbp,%rcx
  mov    $0x19,%edx
  mov    $0x1,%esi
  lea    D146(%rip),%rdi
  call   <fwrite@plt>
  mov    %rbp,%rcx
  mov    $0x2e,%edx
  mov    $0x1,%esi
  lea    D76(%rip),%rdi
  call   <fwrite@plt>
  nopw   0x0(%rax,%rax,1)
L11:
  pxor   %xmm0,%xmm0
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %r13,%rdi
  cvtsi2sd %ebx,%xmm0
  mulsd  D48(%rip),%xmm0
  add    $0x1,%ebx
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x4(%rsp)
  call   <SimpleAtmosphere@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  pxor   %xmm3,%xmm3
  movss  0x4(%rsp),%xmm0
  pxor   %xmm2,%xmm2
  pxor   %xmm1,%xmm1
  mov    $0x4,%eax
  cvtss2sd 0x24(%rsp),%xmm3
  cvtss2sd 0x20(%rsp),%xmm2
  cvtss2sd 0x1c(%rsp),%xmm1
  cvtss2sd %xmm0,%xmm0
  call   <fprintf@plt>
  pxor   %xmm0,%xmm0
  movss  D87(%rip),%xmm1
  cvtss2sd 0x1c(%rsp),%xmm0
  mulsd  D69(%rip),%xmm0
  movss  0x24(%rsp),%xmm2
  pxor   %xmm5,%xmm5
  mulss  0x20(%rsp),%xmm1
  movss  %xmm2,0x8(%rsp)
  cvtsd2ss %xmm0,%xmm5
  movaps %xmm2,%xmm0
  movss  %xmm5,0x4(%rsp)
  movss  %xmm1,0xc(%rsp)
  call   <sqrt@plt>
  pxor   %xmm4,%xmm4
  mov    %rbp,%rdi
  pxor   %xmm3,%xmm3
  mulsd  D119(%rip),%xmm0
  movss  0x8(%rsp),%xmm2
  lea    D141(%rip),%rsi
  mov    $0x4,%eax
  movss  0xc(%rsp),%xmm1
  cvtss2sd %xmm1,%xmm1
  cvtsd2ss %xmm0,%xmm4
  pxor   %xmm0,%xmm0
  cvtss2sd %xmm4,%xmm3
  movss  %xmm4,0x8(%rsp)
  cvtss2sd %xmm2,%xmm0
  mulsd  D23(%rip),%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd 0x4(%rsp),%xmm2
  cvtsd2ss %xmm0,%xmm0
  cvtss2sd %xmm0,%xmm0
  call   <fprintf@plt>
  movss  0x24(%rsp),%xmm0
  call   <MetricViscosity@plt>
  movss  0x8(%rsp),%xmm4
  pxor   %xmm2,%xmm2
  mov    %rbp,%rdi
  movaps %xmm0,%xmm1
  divss  0x4(%rsp),%xmm1
  cvtss2sd %xmm0,%xmm0
  lea    D100(%rip),%rsi
  divss  %xmm1,%xmm4
  mov    $0x3,%eax
  cvtss2sd %xmm1,%xmm1
  mulsd  D47(%rip),%xmm0
  cvtss2sd %xmm4,%xmm2
  mulsd  D65(%rip),%xmm2
  call   <fprintf@plt>
  cmp    $0x29,%ebx
  jne    L11
  mov    %rbp,%rdi
  call   <fclose@plt>
  mov    0x28(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L1
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L1:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: label: D88
data_type: string
name: disassemble_data
arguments: label: D71
data_type: string
name: disassemble_data
arguments: label: D109
data_type: string
name: disassemble_data
arguments: label: D91
data_type: string
name: disassemble_data
arguments: label: D57
data_type: string
name: disassemble_data
arguments: label: D146
data_type: string
name: disassemble_data
arguments: label: D76
data_type: string
name: disassemble_data
arguments: label: D48
data_type: f64
name: disassemble_data
arguments: label: D87
data_type: f32
name: disassemble_data
arguments: label: D69
data_type: f64
name: disassemble_data
arguments: label: D119
data_type: f64
name: disassemble_data
arguments: label: D141
data_type: string
name: disassemble_data
arguments: label: D23
data_type: f64
name: disassemble_data
arguments: label: D100
data_type: string
name: disassemble_data
arguments: label: D47
data_type: f64
name: disassemble_data
arguments: label: D65
data_type: byte[8]

tool: D88: w

tool: D71: si2c.prt

tool: D109: %4.1f %6.4f %6.4f %6.4f

tool: D91:  alt  sigma  delta  theta

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


tool: D146:   Km                     

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


tool: D48: 0.5

tool: D87: 101325

tool: D69: 1.225

tool: D119: 340.294

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

tool: D23: 288.15

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


tool: D47: 1000000

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

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);
}
```