user: Demonstrate the C code that generates the assembly output below:

```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     L53
  jg     L104
  test   %ebp,%ebp
  je     L28
  cmp    $0x1,%ebp
  jne    L56
  lea    D48(%rip),%rdi
  call   <puts@plt>
  lea    D27(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd (%rbx),%xmm0
  call   <printf@plt>
  mov    %rbx,%rdi
  call   <input_float@plt>
  lea    D98(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x4(%rbx),%xmm0
  call   <printf@plt>
  lea    0x4(%rbx),%rdi
  call   <input_float@plt>
L6:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L39
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopw   0x0(%rax,%rax,1)
L104:
  cmp    $0x3,%ebp
  jne    L56
  lea    D75(%rip),%rdi
  call   <puts@plt>
  mov    0x10(%rsp),%eax
  test   %eax,%eax
  jle    L6
  xor    %ebp,%ebp
  lea    D83(%rip),%r13
  lea    0x14(%rsp),%r12
  nop
L82:
  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     L82
  jmp    L6
L56:
  xor    %eax,%eax
  call   <abort@plt>
  jmp    L6
  nopl   0x0(%rax)
L28:
  lea    D90(%rip),%rdi
  call   <puts@plt>
  lea    D91(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd (%rbx),%xmm0
  call   <printf@plt>
  mov    %rbx,%rdi
  call   <input_float@plt>
  lea    D68(%rip),%rdi
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  cvtss2sd 0x4(%rbx),%xmm0
  call   <printf@plt>
  lea    0x4(%rbx),%rdi
  call   <input_float@plt>
  jmp    L6
  nopl   (%rax)
L53:
  lea    D87(%rip),%rdi
  xor    %ebp,%ebp
  lea    D7(%rip),%r12
  call   <puts@plt>
  mov    0x10(%rsp),%edx
  test   %edx,%edx
  jle    L6
  nopl   0x0(%rax)
L42:
  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     L42
  jmp    L6
L39:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_tag: D48
type: string
name: unpack_data
arguments: data_tag: D27
type: string
name: unpack_data
arguments: data_tag: D98
type: string
name: unpack_data
arguments: data_tag: D75
type: string
name: unpack_data
arguments: data_tag: D83
type: string
name: unpack_data
arguments: data_tag: D90
type: string
name: unpack_data
arguments: data_tag: D91
type: string
name: unpack_data
arguments: data_tag: D68
type: string
name: unpack_data
arguments: data_tag: D87
type: string
name: unpack_data
arguments: data_tag: D7
type: string

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

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

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

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

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

tool: D90: Generic linear vertical coordinate system:

tool: D91:   Bottom Bound (%g): 

tool: D68:   Level Increment (%g): 

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

tool: D7:   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();
  }
}
```