user: What would the C source look like for the assembly code provided here?

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  lea    D173(%rip),%rbp
  push   %rbx
  mov    %rbp,%rdi
  sub    $0x48,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  lea    0x30(%rsp),%r12
  movl   $0x0,0x30(%rsp)
  mov    %r12,%rsi
  call   <scanf@plt>
  cmpl   $0xffffffff,0x30(%rsp)
  je     L311
  pxor   %xmm4,%xmm4
  movl   $0x0,0x18(%rsp)
  xor    %ebx,%ebx
  lea    0x34(%rsp),%r15
  movl   $0x0,0x14(%rsp)
  lea    0x2c(%rsp),%r14
  lea    D274(%rip),%r13
  movl   $0x1,0x1c(%rsp)
  movl   $0x0,0x10(%rsp)
  movss  %xmm4,0x8(%rsp)
  movss  %xmm4,0xc(%rsp)
  jmp    L258
  nopl   0x0(%rax)
L197:
  movss  0x2c(%rsp),%xmm0
L318:
  comiss 0xc(%rsp),%xmm0
  jb     L212
  mov    0x30(%rsp),%eax
  movss  %xmm0,0xc(%rsp)
  mov    %eax,0x10(%rsp)
  mov    0x34(%rsp),%eax
  mov    %eax,0x14(%rsp)
L212:
  movss  0x8(%rsp),%xmm2
  comiss %xmm0,%xmm2
  jb     L140
  mov    0x30(%rsp),%eax
  movss  %xmm0,0x8(%rsp)
  mov    %eax,0x1c(%rsp)
  mov    0x34(%rsp),%eax
  mov    %eax,0x18(%rsp)
L140:
  xor    %eax,%eax
  mov    %r12,%rsi
  mov    %rbp,%rdi
  add    $0x1,%ebx
  call   <scanf@plt>
  cmpl   $0xffffffff,0x30(%rsp)
  je     L88
L258:
  mov    %r15,%rsi
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <scanf@plt>
  xor    %eax,%eax
  mov    %r14,%rsi
  mov    %r13,%rdi
  call   <scanf@plt>
  test   %ebx,%ebx
  jne    L197
  movss  0x2c(%rsp),%xmm3
  movss  %xmm3,0x8(%rsp)
  movaps %xmm3,%xmm0
  jmp    L318
  nopl   (%rax)
L88:
  pxor   %xmm0,%xmm0
  lea    D72(%rip),%rdi
  mov    $0x1,%eax
  cvtss2sd 0x8(%rsp),%xmm0
  call   <printf@plt>
  mov    0x1c(%rsp),%eax
  cmp    $0xc,%eax
  ja     L232
  lea    D25(%rip),%rdx
  movslq (%rdx,%rax,4),%rax
  add    %rdx,%rax
  notrack jmp *%rax
L311:
  pxor   %xmm0,%xmm0
  lea    D72(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movl   $0x0,0x18(%rsp)
  pxor   %xmm5,%xmm5
  movl   $0x0,0x14(%rsp)
  movl   $0x0,0x10(%rsp)
  movss  %xmm5,0xc(%rsp)
  lea    D265(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  nopw   0x0(%rax,%rax,1)
L232:
  mov    0x18(%rsp),%esi
  lea    D226(%rip),%rbp
  xor    %eax,%eax
  mov    %rbp,%rdi
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  mov    $0x1,%eax
  lea    D48(%rip),%rdi
  cvtss2sd 0xc(%rsp),%xmm0
  call   <printf@plt>
  mov    0x10(%rsp),%eax
  cmp    $0xc,%eax
  ja     L102
  lea    D69(%rip),%rdx
  movslq (%rdx,%rax,4),%rax
  add    %rdx,%rax
  notrack jmp *%rax
  lea    D265(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L102:
  mov    0x14(%rsp),%esi
  xor    %eax,%eax
  mov    %rbp,%rdi
  call   <printf@plt>
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L146
  add    $0x48,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  lea    D64(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D293(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D131(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D142(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D289(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D119(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D87(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D70(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D174(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D256(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D73(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L102
  lea    D64(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D70(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D174(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D256(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D73(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D293(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D131(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D142(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D289(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D119(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
  lea    D87(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L232
L146:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D173
type: string
name: extract_symbolic_data
arguments: tag: D274
type: string
name: extract_symbolic_data
arguments: tag: D72
type: string
name: extract_symbolic_data
arguments: tag: D265
type: string
name: extract_symbolic_data
arguments: tag: D226
type: string
name: extract_symbolic_data
arguments: tag: D48
type: string
name: extract_symbolic_data
arguments: tag: D64
type: string
name: extract_symbolic_data
arguments: tag: D293
type: string
name: extract_symbolic_data
arguments: tag: D131
type: string
name: extract_symbolic_data
arguments: tag: D142
type: string
name: extract_symbolic_data
arguments: tag: D289
type: string
name: extract_symbolic_data
arguments: tag: D119
type: string
name: extract_symbolic_data
arguments: tag: D87
type: string
name: extract_symbolic_data
arguments: tag: D70
type: string
name: extract_symbolic_data
arguments: tag: D174
type: string
name: extract_symbolic_data
arguments: tag: D256
type: string
name: extract_symbolic_data
arguments: tag: D73
type: string

tool: D173: %d

tool: D274: %f

tool: D72: Minimum Price    $%6.2f     

tool: D265: January  

tool: D226:      %d


tool: D48: Maximum Price    $%6.2f     

tool: D64: December 

tool: D293: February 

tool: D131: March    

tool: D142: April    

tool: D289: May      

tool: D119: June     

tool: D87: July     

tool: D70: August   

tool: D174: September

tool: D256: October  

tool: D73: November 

assistant: ```c
int main(void) {
  float price;
  float maxPrice = 0;
  float minPrice = 0;
  int month = 0;
  int maxMonth = 0, minMonth = 1;
  int year;
  int maxYear = 0, minYear = 0;
  int count = 0;
  scanf("%d", &month);
  while (month != -1) {
    scanf("%d", &year);
    scanf("%f", &price);
    if (count < 1)
      minPrice = price;
    if (price >= maxPrice) {
      maxPrice = price;
      maxMonth = month;
      maxYear = year;
    }
    if (price <= minPrice) {
      minPrice = price;
      minMonth = month;
      minYear = year;
    }
    count++;
    scanf("%d", &month);
  }
  printf("Minimum Price    $%6.2f     ", minPrice);
  switch (minMonth) {
  case 1:
    printf("January  ");
    break;
  case 2:
    printf("February ");
    break;
  case 3:
    printf("March    ");
    break;
  case 4:
    printf("April    ");
    break;
  case 5:
    printf("May      ");
    break;
  case 6:
    printf("June     ");
    break;
  case 7:
    printf("July     ");
    break;
  case 8:
    printf("August   ");
    break;
  case 9:
    printf("September");
    break;
  case 10:
    printf("October  ");
    break;
  case 11:
    printf("November ");
    break;
  case 12:
    printf("December ");
    break;
  default:
    break;
  }
  printf("     %d\n", minYear);
  printf("Maximum Price    $%6.2f     ", maxPrice);
  switch (maxMonth) {
  case 1:
    printf("January  ");
    break;
  case 2:
    printf("February ");
    break;
  case 3:
    printf("March    ");
    break;
  case 4:
    printf("April    ");
    break;
  case 5:
    printf("May      ");
    break;
  case 6:
    printf("June     ");
    break;
  case 7:
    printf("July     ");
    break;
  case 8:
    printf("August   ");
    break;
  case 9:
    printf("September");
    break;
  case 10:
    printf("October  ");
    break;
  case 11:
    printf("November ");
    break;
  case 12:
    printf("December ");
    break;
  default:
    break;
  }
  printf("     %d\n", maxYear);
}
```