user: 请从给定的汇编指令推导出C源代码：

```asm
<main>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %rsi,%r12
  push   %rbp
  mov    %edi,%ebp
  lea    D11(%rip),%rdi
  push   %rbx
  sub    $0x18,%rsp
  call   <writes@plt>
  lea    D0(%rip),%rdi
  call   <writes@plt>
  lea    D18(%rip),%rdi
  call   <writes@plt>
  cmp    $0x1,%ebp
  jle    L53
  lea    -0x2(%rbp),%eax
  lea    0x8(%r12),%rbx
  mov    $0x50,%esi
  xor    %r14d,%r14d
  lea    0x10(%r12,%rax,8),%r13
  mov    $0x18,%r8d
  xor    %r15d,%r15d
  mov    $0x1,%r12d
  movabs $0x20000000200,%rbp
  jmp    L114
  nopl   0x0(%rax)
L63:
  mov    %rdi,%r15
L54:
  add    $0x8,%rbx
  cmp    %r13,%rbx
  je     L9
L114:
  mov    (%rbx),%rdi
  cmpb   $0x2d,(%rdi)
  jne    L63
  movzbl 0x1(%rdi),%eax
  lea    -0x43(%rax),%ecx
  cmp    $0x2f,%cl
  ja     L54
  mov    %r12,%rax
  shl    %cl,%rax
  test   %rbp,%rax
  jne    L96
  movabs $0x100000001,%rdx
  test   %rdx,%rax
  jne    L113
  movabs $0x800000008000,%rdx
  test   %rdx,%rax
  je     L54
  add    $0x2,%rdi
  mov    %esi,0x8(%rsp)
  add    $0x8,%rbx
  call   <atoi@plt>
  mov    0x8(%rsp),%esi
  mov    %eax,%r8d
  cmp    %r13,%rbx
  jne    L114
  nopw   0x0(%rax,%rax,1)
L9:
  test   %r15,%r15
  je     L16
L76:
  mov    %r14,%rdx
  mov    %r8d,%edi
  call   <trm_init@plt>
  mov    %r15,%rdi
  call   <db_init@plt>
  add    $0x18,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    10d0 <play@plt>
  nopl   (%rax)
L113:
  add    $0x2,%rdi
  mov    %r8d,0x8(%rsp)
  call   <atoi@plt>
  mov    0x8(%rsp),%r8d
  mov    %eax,%esi
  jmp    L54
  nopw   0x0(%rax,%rax,1)
L96:
  lea    0x2(%rdi),%r14
  jmp    L54
L53:
  mov    $0x50,%esi
  mov    $0x18,%r8d
  xor    %r14d,%r14d
L16:
  lea    D39(%rip),%rdi
  mov    %esi,0xc(%rsp)
  xor    %r15d,%r15d
  mov    %r8d,0x8(%rsp)
  call   <writes@plt>
  mov    $0x1,%edi
  call   <exit@plt>
  mov    0xc(%rsp),%esi
  mov    0x8(%rsp),%r8d
  jmp    L76
```

tool_calls: name: extract_symbolic_data
arguments: label: D11
data_type: string
name: extract_symbolic_data
arguments: label: D0
data_type: string
name: extract_symbolic_data
arguments: label: D18
data_type: string
name: extract_symbolic_data
arguments: label: D39
data_type: string

tool: D11: ADVINT v1.2 - Copyright (c) 1986, by David Betz


tool: D0: ANSI-fied by Matt Ackeret (unknown@apple.com or unknown@ucscb.ucsc.edu).


tool: D18: ANSI-compliant source is available on ftp.gmd.de (mirrored on
wuarchive.wustl.edu). Other games are available there also.


tool: D39: usage: advint [-r<rows>] [-c<columns>] [-l<log-file>] <file>


assistant: ```c
void main(int argc, char *argv[]) {
  char *fname, *lname;
  int rows, cols, i;
  writes("ADVINT v1.2 - Copyright (c) 1986, by David Betz\n");
  writes("ANSI-fied by Matt Ackeret (unknown@apple.com or unknown@ucscb.ucsc.edu).\n");
  writes("ANSI-compliant source is available on ftp.gmd.de (mirrored on\nwuarchive.wustl.edu). "
         "Other games are available there also.\n");
  fname = NULL;
  lname = NULL;
  rows = 24;
  cols = 80;
  for (i = 1; i < argc; i++)
    if (argv[i][0] == '-')
      switch (argv[i][1]) {
      case 'r':
      case 'R':
        rows = atoi(&argv[i][2]);
        break;
      case 'c':
      case 'C':
        cols = atoi(&argv[i][2]);
        break;
      case 'l':
      case 'L':
        lname = &argv[i][2];
        break;
      }
    else
      fname = argv[i];
  if (fname == NULL) {
    writes("usage: advint [-r<rows>] [-c<columns>] [-l<log-file>] <file>\n");
    exit(1);
  }
  trm_init(rows, cols, lname);
  db_init(fname);
  play();
}
```