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

```asm
<searchwhatis>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  movabs $0xffffeefefffffdff,%r13
  push   %r12
  movabs $0xffffeffefffffdff,%r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x148,%rsp
  mov    D52(%rip),%rbp
  mov    %rsi,0x18(%rsp)
  mov    %rdx,0x20(%rsp)
  mov    %rcx,0x28(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x138(%rsp)
  xor    %eax,%eax
  lea    0x30(%rsp),%rax
  mov    %rax,(%rsp)
L176:
  mov    %rbx,%rdi
  call   <fgetc@plt>
  movl   $0x1,0x10(%rsp)
  movl   $0x0,0xc(%rsp)
  mov    %eax,%r15d
  nopl   0x0(%rax)
L249:
  cmp    $0x2c,%r15d
  jbe    L155
L140:
  mov    %r15d,%eax
  and    $0xfffffffb,%eax
  cmp    $0x28,%eax
  je     L15
  cmp    $0xa,%r15d
  jne    L183
  mov    (%rsp),%r14
  mov    0x10(%rsp),%ecx
  movb   $0x0,0x17(%rsp)
  movb   $0x0,(%r14)
  test   %ecx,%ecx
  je     L115
  nopl   0x0(%rax)
L258:
  mov    (%rsp),%rsi
  lea    D65(%rip),%rdi
  call   <strcpy@plt>
  jmp    L115
  nopl   (%rax)
L155:
  bt     %r15,%r12
  jb     L140
  mov    %rbx,%rdi
  call   <fgetc@plt>
  mov    %eax,%r15d
  cmp    $0x2c,%eax
  jbe    L155
  and    $0xfffffffb,%eax
  cmp    $0x28,%eax
  je     L15
L183:
  mov    (%rsp),%r14
  cs nopw 0x0(%rax,%rax,1)
L308:
  cmp    %r15d,0x0(%rbp)
  je     L223
  lea    0x12f(%rsp),%rax
  cmp    %rax,%r14
  jae    L382
  mov    %r15b,(%r14)
  add    $0x1,%r14
L382:
  mov    %rbx,%rdi
  call   <getc@plt>
  mov    %eax,%r15d
  cmp    $0x2c,%eax
  ja     L308
  bt     %rax,%r13
  jae    L310
  cmp    $0xa,%eax
  jne    L308
  movb   $0x0,0x17(%rsp)
L70:
  mov    0x10(%rsp),%ecx
  movb   $0x0,(%r14)
  test   %ecx,%ecx
  jne    L258
L115:
  mov    0x18(%rsp),%rsi
  mov    (%rsp),%rdi
  call   <strcmp@plt>
  test   %rax,%rax
  mov    $0x1,%eax
  cmovne 0xc(%rsp),%eax
  cmpb   $0x0,0x17(%rsp)
  mov    %eax,0xc(%rsp)
  je     L422
  movl   $0x0,0x10(%rsp)
  cmp    %r15d,0x0(%rbp)
  jne    L249
  jmp    L431
  nopl   0x0(%rax,%rax,1)
L223:
  cmp    $0xa,%r15d
  setne  %sil
  cmp    $0x28,%r15d
  setne  %al
  and    %eax,%esi
  mov    %sil,0x17(%rsp)
  jmp    L70
  nopl   0x0(%rax,%rax,1)
L310:
  cmp    $0x28,%eax
  setne  %sil
  cmp    $0xa,%eax
  setne  %al
  and    %eax,%esi
  mov    %sil,0x17(%rsp)
  jmp    L70
L422:
  cmp    $0x28,%r15d
  je     L213
  mov    0x0(%rbp),%ecx
  cmp    %ecx,%r15d
  je     L431
L197:
  cmp    $0xa,%ecx
  jne    L176
  jmp    L431
  nopl   0x0(%rax)
L15:
  cmp    $0x28,%r15d
  mov    (%rsp),%r14
  setne  0x17(%rsp)
  jmp    L70
L213:
  lea    D40(%rip),%rax
  mov    %rax,%r14
  jmp    L315
  xchg   %ax,%ax
L162:
  mov    0x0(%rbp),%edx
  cmp    $0xa,%eax
  je     L71
  cmp    %eax,%edx
  je     L185
  lea    -0x41(%rax),%ecx
  lea    0x20(%rax),%edx
  cmp    $0x1a,%ecx
  mov    %r14,%rcx
  cmovb  %edx,%eax
  lea    D28(%rip),%rdx
  cmp    %rdx,%r14
  jb     L205
L315:
  mov    %rbx,%rdi
  call   <fgetc@plt>
  cmp    $0x29,%eax
  jne    L162
  lea    D40(%rip),%rdx
  movb   $0x0,(%r14)
  mov    0x0(%rbp),%eax
  cmp    %rdx,%r14
  je     L124
  cmp    $0x29,%eax
  jne    L21
  jmp    L217
  xchg   %ax,%ax
L233:
  cmp    $0xa,%eax
  je     L222
L21:
  mov    %rbx,%rdi
  call   <getc@plt>
  mov    0x0(%rbp),%ecx
  cmp    %eax,%ecx
  jne    L233
L217:
  mov    0xc(%rsp),%eax
  test   %eax,%eax
  je     L431
  mov    0x20(%rsp),%rax
  lea    D65(%rip),%rcx
  mov    %rcx,(%rax)
  mov    0x28(%rsp),%rax
  lea    D40(%rip),%rcx
  mov    %rcx,(%rax)
  jmp    L431
  nopl   0x0(%rax,%rax,1)
L222:
  mov    0xc(%rsp),%edx
  test   %edx,%edx
  je     L197
  mov    0x20(%rsp),%rax
  lea    D65(%rip),%rdx
  mov    %rdx,(%rax)
  mov    0x28(%rsp),%rax
  lea    D40(%rip),%rdx
  mov    %rdx,(%rax)
  cmp    $0xa,%ecx
  je     L431
L262:
  mov    0x138(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L180
  mov    0xc(%rsp),%eax
  add    $0x148,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L205:
  add    $0x1,%rcx
  mov    %al,-0x1(%rcx)
  mov    %rcx,%r14
  jmp    L315
L71:
  movb   $0x0,(%r14)
  cmp    $0xa,%edx
  jne    L176
  jmp    L431
  xchg   %ax,%ax
L124:
  cmp    $0x29,%eax
  je     L431
  movl   $0x0,0xc(%rsp)
  jmp    L21
L185:
  movb   $0x0,(%r14)
L431:
  movl   $0xffffffff,0xc(%rsp)
  jmp    L262
L180:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
int searchwhatis(FILE *wf, char *title, char **ppage, char **psection) {
  static char page[256], section[32];
  char alias[256];
  int found = 0;
  int c;
  do {
    int first = 1;
    char *pc = section;
    c = fgetc(wf);
    do {
      char *pa = alias;
      while (c == ' ' || c == '\t' || c == ',')
        c = fgetc(wf);
      while (c != ' ' && c != '\t' && c != ',' && c != '(' && c != '\n' && c != EOF) {
        if (pa < ((alias) + (sizeof(alias) / sizeof((alias)[0]))) - 1)
          *pa++ = c;
        c = getc(wf);
      }
      *pa = 0;
      if (first) {
        strcpy(page, alias);
        first = 0;
      }
      if (strcmp(alias, title) == 0)
        found = 1;
    } while (c != '(' && c != '\n' && c != EOF);
    if (c != '(') {
      found = 0;
    } else {
      while ((c = fgetc(wf)) != ')' && c != '\n' && c != EOF) {
        if ('A' <= c && c <= 'Z')
          c = c - 'A' + 'a';
        if (pc < ((section) + (sizeof(section) / sizeof((section)[0]))) - 1)
          *pc++ = c;
      }
      *pc = 0;
      if (c != ')' || pc == section)
        found = 0;
    }
    while (c != EOF && c != '\n')
      c = getc(wf);
  } while (!found && c != EOF);
  if (found) {
    *ppage = page;
    *psection = section;
  }
  return c == EOF ? -1 : found;
}
```