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

```asm
<main>:
  endbr64
  push   %r15
  lea    D66(%rip),%rdi
  lea    D29(%rip),%r15
  push   %r14
  lea    D71(%rip),%r14
  push   %r13
  lea    D60(%rip),%r13
  push   %r12
  lea    D6(%rip),%r12
  push   %rbp
  lea    D65(%rip),%rbp
  push   %rbx
  lea    D97(%rip),%rbx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <printf@plt>
  lea    0x10(%rsp),%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  lea    0x14(%rsp),%rax
  mov    %rax,0x8(%rsp)
  nop
L16:
  mov    %r15,%rdi
  call   <puts@plt>
  mov    %r14,%rdi
  call   <puts@plt>
  mov    %r13,%rdi
  call   <puts@plt>
  mov    %r12,%rdi
  call   <puts@plt>
  mov    %rbp,%rdi
  call   <puts@plt>
  lea    D18(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%rsi
  mov    %rbx,%rdi
  call   <scanf@plt>
  mov    0x14(%rsp),%eax
  cmp    $0x3,%eax
  ja     L16
  cmp    $0x2,%eax
  je     L19
  cmp    $0x3,%eax
  je     L74
  cmp    $0x1,%eax
  je     L78
  lea    D44(%rip),%rdi
  call   <puts@plt>
  mov    0x10(%rsp),%esi
L56:
  lea    D95(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x14(%rsp),%eax
  test   %eax,%eax
  jne    L16
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L54
  add    $0x28,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  cs nopw 0x0(%rax,%rax,1)
L78:
  mov    0x10(%rsp),%eax
  lea    0x1(%rax),%esi
  mov    %esi,0x10(%rsp)
  jmp    L56
  nopl   (%rax)
L74:
  mov    0x10(%rsp),%eax
  lea    (%rax,%rax,1),%esi
  mov    %esi,0x10(%rsp)
  jmp    L56
  nopl   (%rax)
L19:
  mov    0x10(%rsp),%eax
  lea    -0x1(%rax),%esi
  mov    %esi,0x10(%rsp)
  jmp    L56
L54:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: label: D66
data_type: string
name: disassemble_data
arguments: label: D29
data_type: string
name: disassemble_data
arguments: label: D71
data_type: string
name: disassemble_data
arguments: label: D60
data_type: string
name: disassemble_data
arguments: label: D6
data_type: string
name: disassemble_data
arguments: label: D65
data_type: string
name: disassemble_data
arguments: label: D97
data_type: string
name: disassemble_data
arguments: label: D18
data_type: string
name: disassemble_data
arguments: label: D44
data_type: string
name: disassemble_data
arguments: label: D95
data_type: string

tool: D66: Enter initial value: 

tool: D29: Menu:

tool: D71: 1 - increase

tool: D60: 2 - decrease

tool: D6: 3 - double

tool: D65: 0 - END

tool: D97: %d

tool: D18: choice : 

tool: D44: End

tool: D95: value = %d


assistant: ```c
int main() {
  int value, choice;
  printf("Enter initial value: ");
  scanf("%d", &value);
  do {
    do {
      printf("Menu:\n");
      printf("1 - increase\n");
      printf("2 - decrease\n");
      printf("3 - double\n");
      printf("0 - END\n");
      printf("choice : ");
      scanf("%d", &choice);
    } while ((choice < 0) || (choice > 3));
    switch (choice) {
    case 1:
      value++;
      break;
    case 2:
      value--;
      break;
    case 3:
      value *= 2;
      break;
    case 0:
      printf("End\n");
      break;
    default:
      printf("Invalid choice!\n");
      break;
    }
    printf("value = %d\n", value);
  } while (choice != 0);
  return 0;
}
```