user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<prompt_for_vertical_args>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x38,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %esi,-0x38(%rbp)
  mov    %rdx,-0x40(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x18(%rbp)
  xor    %eax,%eax
  lea    -0x24(%rbp),%rdx
  mov    -0x34(%rbp),%eax
  sub    $0x8,%rsp
  push   $0x0
  push   $0x0
  push   $0x0
  mov    %rdx,%r9
  mov    $0x0,%r8d
  mov    $0x0,%ecx
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %eax,%edi
  call   <vis5d_get_size@plt>
  add    $0x20,%rsp
  mov    -0x40(%rbp),%rdx
  lea    -0x28(%rbp),%rcx
  mov    -0x34(%rbp),%eax
  mov    %rcx,%rsi
  mov    %eax,%edi
  call   <vis5d_get_ctx_vertical@plt>
  cmpl   $0x3,-0x38(%rbp)
  je     L10
  cmpl   $0x3,-0x38(%rbp)
  jg     L148
  cmpl   $0x2,-0x38(%rbp)
  je     L94
  cmpl   $0x2,-0x38(%rbp)
  jg     L148
  cmpl   $0x0,-0x38(%rbp)
  je     L28
  cmpl   $0x1,-0x38(%rbp)
  je     L133
  jmp    L148
L28:
  lea    D33(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x40(%rbp),%rax
  movss  (%rax),%xmm0
  pxor   %xmm1,%xmm1
  cvtss2sd %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  lea    D41(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x40(%rbp),%rax
  mov    %rax,%rdi
  call   <input_float@plt>
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm0,%xmm2
  movq   %xmm2,%rax
  movq   %rax,%xmm0
  lea    D83(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,%rdi
  call   <input_float@plt>
  jmp    L74
L133:
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x40(%rbp),%rax
  movss  (%rax),%xmm0
  pxor   %xmm3,%xmm3
  cvtss2sd %xmm0,%xmm3
  movq   %xmm3,%rax
  movq   %rax,%xmm0
  lea    D26(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x40(%rbp),%rax
  mov    %rax,%rdi
  call   <input_float@plt>
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  pxor   %xmm4,%xmm4
  cvtss2sd %xmm0,%xmm4
  movq   %xmm4,%rax
  movq   %rax,%xmm0
  lea    D60(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x40(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,%rdi
  call   <input_float@plt>
  jmp    L74
L94:
  lea    D76(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  movl   $0x0,-0x1c(%rbp)
  jmp    L31
L56:
  mov    -0x1c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  pxor   %xmm5,%xmm5
  cvtss2sd %xmm0,%xmm5
  movq   %xmm5,%rdx
  mov    -0x1c(%rbp),%eax
  movq   %rdx,%xmm0
  mov    %eax,%esi
  lea    D20(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    -0x1c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,%rdi
  call   <input_float@plt>
  addl   $0x1,-0x1c(%rbp)
L31:
  mov    -0x24(%rbp),%eax
  cmp    %eax,-0x1c(%rbp)
  jl     L56
  jmp    L74
L10:
  lea    D32(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  movl   $0x0,-0x1c(%rbp)
  jmp    L38
L151:
  mov    -0x1c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movd   %eax,%xmm0
  call   <height_to_pressure@plt>
  movq   %xmm0,%rax
  mov    -0x1c(%rbp),%edx
  movq   %rax,%xmm0
  mov    %edx,%esi
  lea    D10(%rip),%rax
  mov    %rax,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <input_float@plt>
  mov    -0x20(%rbp),%eax
  mov    -0x1c(%rbp),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,4),%rcx
  mov    -0x40(%rbp),%rdx
  lea    (%rcx,%rdx,1),%rbx
  movd   %eax,%xmm0
  call   <pressure_to_height@plt>
  movd   %xmm0,%eax
  mov    %eax,(%rbx)
  addl   $0x1,-0x1c(%rbp)
L38:
  mov    -0x24(%rbp),%eax
  cmp    %eax,-0x1c(%rbp)
  jl     L151
  jmp    L74
L148:
  mov    $0x0,%eax
  call   <abort@plt>
L74:
  nop
  mov    -0x18(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L65
  call   <__stack_chk_fail@plt>
L65:
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

tool_calls: name: retrieve_data
arguments: data_label: D33
type: string
name: retrieve_data
arguments: data_label: D41
type: string
name: retrieve_data
arguments: data_label: D83
type: string
name: retrieve_data
arguments: data_label: D31
type: string
name: retrieve_data
arguments: data_label: D26
type: string
name: retrieve_data
arguments: data_label: D60
type: string
name: retrieve_data
arguments: data_label: D76
type: string
name: retrieve_data
arguments: data_label: D20
type: string
name: retrieve_data
arguments: data_label: D32
type: string
name: retrieve_data
arguments: data_label: D10
type: string

tool: D33: Generic linear vertical coordinate system:

tool: D41:   Bottom Bound (%g): 

tool: D83:   Level Increment (%g): 

tool: D31: Linear, equally spaced levels in km:

tool: D26:   Bottom Bound (km) (%g): 

tool: D60:   Level Increment (km) (%g): 

tool: D76: Linear, non-equally spaced levels in km:

tool: D20:   Level %d Height (km) (%g): 

tool: D32: Linear, non-equally spaced levels in mb:

tool: D10:   Level %d Pressure (km) (%g): 

assistant: ```c
void prompt_for_vertical_args(int index, int vcs, float vertargs[]) {
  int current_vcs;
  int maxnl, i;
  float pressure;
  vis5d_get_size(index, 0, 0, 0, 0, &maxnl, 0, 0, 0);
  vis5d_get_ctx_vertical(index, &current_vcs, vertargs);
  switch (vcs) {
  case 0:
    printf("Generic linear vertical coordinate system:\n");
    printf("  Bottom Bound (%g): ", vertargs[0]);
    input_float(&vertargs[0]);
    printf("  Level Increment (%g): ", vertargs[1]);
    input_float(&vertargs[1]);
    break;
  case 1:
    printf("Linear, equally spaced levels in km:\n");
    printf("  Bottom Bound (km) (%g): ", vertargs[0]);
    input_float(&vertargs[0]);
    printf("  Level Increment (km) (%g): ", vertargs[1]);
    input_float(&vertargs[1]);
    break;
  case 2:
    printf("Linear, non-equally spaced levels in km:\n");
    for (i = 0; i < maxnl; i++) {
      printf("  Level %d Height (km) (%g): ", i, vertargs[i]);
      input_float(&vertargs[i]);
    }
    break;
  case 3:
    printf("Linear, non-equally spaced levels in mb:\n");
    for (i = 0; i < maxnl; i++) {
      printf("  Level %d Pressure (km) (%g): ", i, height_to_pressure(vertargs[i]));
      input_float(&pressure);
      vertargs[i] = pressure_to_height(pressure);
    }
    break;
  default:
    abort();
  }
}
```