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

```asm
<print_menu>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,%r13d
  mov    %esi,%ebx
  mov    $0x0,%eax
  call   <erase@plt>
  lea    -0xe(%rbx),%eax
  mov    %eax,%r12d
  shr    $0x1f,%r12d
  add    %eax,%r12d
  sar    %r12d
  mov    %r13d,%ebp
  shr    $0x1f,%ebp
  add    %r13d,%ebp
  sar    %ebp
  lea    -0x6(%rbp),%edi
  lea    D0(%rip),%rdx
  mov    %r12d,%esi
  call   <mvprintw@plt>
  lea    -0x5(%rbp),%edi
  lea    D14(%rip),%rdx
  mov    %r12d,%esi
  call   <mvprintw@plt>
  lea    -0x4(%rbp),%edi
  lea    D46(%rip),%rdx
  mov    %r12d,%esi
  call   <mvprintw@plt>
  lea    -0x3(%rbp),%edi
  lea    D17(%rip),%rdx
  mov    %r12d,%esi
  call   <mvprintw@plt>
  lea    -0x2(%rbp),%edi
  lea    D52(%rip),%rdx
  mov    %r12d,%esi
  call   <mvprintw@plt>
  lea    D26(%rip),%rdx
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <mvprintw@plt>
  lea    0x2(%rbx),%edx
  mov    %edx,%eax
  shr    $0x1f,%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,0xc(%rsp)
  lea    0x4(%rbx),%eax
  mov    %eax,%r12d
  shr    $0x1f,%r12d
  add    %eax,%r12d
  sar    %r12d
  lea    0x6(%rbx),%eax
  mov    %eax,%r14d
  shr    $0x1f,%r14d
  add    %eax,%r14d
  sar    %r14d
  add    $0x8,%ebx
  mov    %ebx,%r13d
  shr    $0x1f,%r13d
  add    %ebx,%r13d
  sar    %r13d
  mov    $0x3,%r15d
  jmp    L41
L18:
  cmp    $0x33,%bl
  mov    $0x3,%eax
  cmove  %eax,%r15d
L11:
  mov    $0x20,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <mvaddch@plt>
  mov    $0x20,%edx
  mov    %r14d,%esi
  mov    %ebp,%edi
  call   <mvaddch@plt>
  mov    $0x20,%edx
  mov    %r13d,%esi
  mov    %ebp,%edi
  call   <mvaddch@plt>
  mov    %r12d,%esi
  mov    %ebp,%edi
  call   <move@plt>
L41:
  mov    $0x0,%eax
  call   <getch@plt>
  mov    %eax,%ebx
  cmp    $0xa,%al
  je     L26
  lea    -0x31(%rbx),%eax
  cmp    $0x2,%al
  ja     L11
  movsbl %bl,%edx
  mov    0xc(%rsp),%esi
  mov    %ebp,%edi
  call   <mvaddch@plt>
  cmp    $0x31,%bl
  je     L62
  cmp    $0x32,%bl
  jne    L18
  mov    $0x2,%r15d
  jmp    L11
L62:
  mov    $0x1,%r15d
  jmp    L11
L26:
  mov    %r15d,%eax
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D0
data_type: string
name: extract_symbolic_data
arguments: data_tag: D14
data_type: string
name: extract_symbolic_data
arguments: data_tag: D46
data_type: string
name: extract_symbolic_data
arguments: data_tag: D17
data_type: string
name: extract_symbolic_data
arguments: data_tag: D52
data_type: string
name: extract_symbolic_data
arguments: data_tag: D26
data_type: string

tool: D0:    Snake Game

tool: D14: ================

tool: D46:  1.  New Game

tool: D17:  2.  Options

tool: D52:  3.  Quit

tool: D26: input > 3

assistant: ```c
int print_menu(int rows, int cols) {
  erase();
  char in;
  int choice = 3;
  mvprintw(rows / 2 - 6, (cols - 14) / 2, "   Snake Game");
  mvprintw(rows / 2 - 5, (cols - 14) / 2, "================");
  mvprintw(rows / 2 - 4, (cols - 14) / 2, " 1.  New Game");
  mvprintw(rows / 2 - 3, (cols - 14) / 2, " 2.  Options");
  mvprintw(rows / 2 - 2, (cols - 14) / 2, " 3.  Quit");
  mvprintw(rows / 2, (cols - 14) / 2, "input > 3");
  while (true) {
    in = getch();
    if (in == 10) {
      return choice;
    }
    if (in == '1' || in == '2' || in == '3') {
      mvaddch(rows / 2, (cols + 2) / 2, in);
      if (in == '1')
        choice = 1;
      if (in == '2')
        choice = 2;
      if (in == '3')
        choice = 3;
    }
    mvaddch(rows / 2, (cols + 4) / 2, ' ');
    mvaddch(rows / 2, (cols + 6) / 2, ' ');
    mvaddch(rows / 2, (cols + 8) / 2, ' ');
    move(rows / 2, (cols + 4) / 2);
  }
}
```