user: Converte this assembly snippet into its equivalent C code:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0xc(%rbp),%rax
  mov    %rax,%rsi
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  call   <scanf@plt>
  mov    -0xc(%rbp),%eax
  cmp    $0xc,%eax
  ja     L32
  mov    %eax,%eax
  lea    0x0(,%rax,4),%rdx
  lea    D81(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D81(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  lea    D118(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D60(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D126(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D76(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D113(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D84(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D97(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D63(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D134(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D135(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  jmp    L32
  lea    D3(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  nop
L32:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L73
  call   <__stack_chk_fail@plt>
L73:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D13
type: string
name: extract_symbolic_data
arguments: data_label: D118
type: string
name: extract_symbolic_data
arguments: data_label: D60
type: string
name: extract_symbolic_data
arguments: data_label: D31
type: string
name: extract_symbolic_data
arguments: data_label: D126
type: string
name: extract_symbolic_data
arguments: data_label: D76
type: string
name: extract_symbolic_data
arguments: data_label: D113
type: string
name: extract_symbolic_data
arguments: data_label: D84
type: string
name: extract_symbolic_data
arguments: data_label: D97
type: string
name: extract_symbolic_data
arguments: data_label: D63
type: string
name: extract_symbolic_data
arguments: data_label: D134
type: string
name: extract_symbolic_data
arguments: data_label: D135
type: string
name: extract_symbolic_data
arguments: data_label: D3
type: string

tool: D13: %d

tool: D118: January


tool: D60: February


tool: D31: March


tool: D126: April


tool: D76: May


tool: D113: June


tool: D84: July


tool: D97: August


tool: D63: September


tool: D134: October


tool: D135: November


tool: D3: December


assistant: ```c
int main(void) {
  int x;
  scanf("%d", &x);
  switch (x) {
  case 1:
    printf("January\n");
    break;
  case 2:
    printf("February\n");
    break;
  case 3:
    printf("March\n");
    break;
  case 4:
    printf("April\n");
    break;
  case 5:
    printf("May\n");
    break;
  case 6:
    printf("June\n");
    break;
  case 7:
    printf("July\n");
    break;
  case 8:
    printf("August\n");
    break;
  case 9:
    printf("September\n");
    break;
  case 10:
    printf("October\n");
    break;
  case 11:
    printf("November\n");
    break;
  case 12:
    printf("December\n");
    break;
  }
  return 0;
}
```