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

```asm
<prompt_for_vertical_args>:
  endbr64
  push   %r13
  xor    %r8d,%r8d
  xor    %ecx,%ecx
  push   %r12
  mov    %edi,%r12d
  push   %rbp
  mov    %esi,%ebp
  xor    %esi,%esi
  push   %rbx
  mov    %rdx,%rbx
  xor    %edx,%edx
  sub    $0x30,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x20(%rsp)
  xor    %eax,%eax
  push   $0x0
  push   $0x0
  push   $0x0
  lea    0x30(%rsp),%r9
  call   <vis5d_get_size@plt>
  add    $0x20,%rsp
  mov    %rbx,%rdx
  mov    %r12d,%edi
  lea    0xc(%rsp),%rsi
  call   <vis5d_get_ctx_vertical@plt>
  cmp    $0x2,%ebp
  je     L0
  jg     L129
  test   %ebp,%ebp
  je     L45
  cmp    $0x1,%ebp
  jne    L64
  lea    D57(%rip),%rdi
  call   <puts@plt>
  lea    D34(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd (%rbx),%xmm0
  call   <printf@plt>
  mov    %rbx,%rdi
  call   <input_float@plt>
  lea    D56(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x4(%rbx),%xmm0
  call   <printf@plt>
  lea    0x4(%rbx),%rdi
  call   <input_float@plt>
L59:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L115
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopw   0x0(%rax,%rax,1)
L129:
  cmp    $0x3,%ebp
  jne    L64
  lea    D95(%rip),%rdi
  call   <puts@plt>
  mov    0x10(%rsp),%eax
  test   %eax,%eax
  jle    L59
  xor    %ebp,%ebp
  lea    D78(%rip),%r13
  lea    0x14(%rsp),%r12
  nop
L110:
  movss  (%rbx,%rbp,4),%xmm0
  call   <height_to_pressure@plt>
  mov    %ebp,%esi
  mov    %r13,%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  mov    %r12,%rdi
  call   <input_float@plt>
  movss  0x14(%rsp),%xmm0
  call   <pressure_to_height@plt>
  movss  %xmm0,(%rbx,%rbp,4)
  add    $0x1,%rbp
  cmp    %ebp,0x10(%rsp)
  jg     L110
  jmp    L59
L64:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L59
  nopl   0x0(%rax)
L45:
  lea    D55(%rip),%rdi
  call   <puts@plt>
  lea    D93(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd (%rbx),%xmm0
  call   <printf@plt>
  mov    %rbx,%rdi
  call   <input_float@plt>
  lea    D62(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x4(%rbx),%xmm0
  call   <printf@plt>
  lea    0x4(%rbx),%rdi
  call   <input_float@plt>
  jmp    L59
  nopl   (%rax)
L0:
  lea    D60(%rip),%rdi
  xor    %ebp,%ebp
  lea    D46(%rip),%r12
  call   <puts@plt>
  mov    0x10(%rsp),%edx
  test   %edx,%edx
  jle    L59
  nopl   0x0(%rax)
L85:
  mov    %ebp,%esi
  mov    %r12,%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd (%rbx),%xmm0
  call   <printf@plt>
  mov    %rbx,%rdi
  add    $0x1,%ebp
  call   <input_float@plt>
  add    $0x4,%rbx
  cmp    %ebp,0x10(%rsp)
  jg     L85
  jmp    L59
L115:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: data_label: D57
type_infered: string
name: retrieve_data
arguments: data_label: D34
type_infered: string
name: retrieve_data
arguments: data_label: D56
type_infered: string
name: retrieve_data
arguments: data_label: D95
type_infered: string
name: retrieve_data
arguments: data_label: D78
type_infered: string
name: retrieve_data
arguments: data_label: D55
type_infered: string
name: retrieve_data
arguments: data_label: D93
type_infered: string
name: retrieve_data
arguments: data_label: D62
type_infered: string
name: retrieve_data
arguments: data_label: D60
type_infered: string
name: retrieve_data
arguments: data_label: D46
type_infered: string

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

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

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

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

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

tool: D55: Generic linear vertical coordinate system:

tool: D93:   Bottom Bound (%g): 

tool: D62:   Level Increment (%g): 

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

tool: D46:   Level %d Height (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();
  }
}
```