user: What is the c source code of the assembly code below:

```asm
<ffmpeg_file>:
  endbr64
  push   %r12
  lea    D59(%rip),%rsi
  mov    $0x1,%r12d
  push   %rbp
  mov    %rdi,%rbp
  sub    $0x8,%rsp
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D61(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D173(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D15(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D33(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D103(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D140(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D0(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D108(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D38(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D131(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D29(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D28(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D157(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D91(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D182(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D147(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D88(%rip),%rsi
  mov    %rbp,%rdi
  call   <strcmp@plt>
  test   %eax,%eax
  je     L111
  lea    D77(%rip),%rsi
  mov    %rbp,%rdi
  xor    %r12d,%r12d
  call   <strcmp@plt>
  test   %eax,%eax
  sete   %r12b
L111:
  add    $0x8,%rsp
  mov    %r12d,%eax
  pop    %rbp
  pop    %r12
  ret
```

tool_calls: name: retrieve_data
arguments: tag: D59
type_guessed: string
name: retrieve_data
arguments: tag: D61
type_guessed: string
name: retrieve_data
arguments: tag: D173
type_guessed: string
name: retrieve_data
arguments: tag: D15
type_guessed: string
name: retrieve_data
arguments: tag: D33
type_guessed: string
name: retrieve_data
arguments: tag: D103
type_guessed: string
name: retrieve_data
arguments: tag: D140
type_guessed: string
name: retrieve_data
arguments: tag: D0
type_guessed: string
name: retrieve_data
arguments: tag: D108
type_guessed: string
name: retrieve_data
arguments: tag: D38
type_guessed: string
name: retrieve_data
arguments: tag: D131
type_guessed: string
name: retrieve_data
arguments: tag: D29
type_guessed: string
name: retrieve_data
arguments: tag: D28
type_guessed: string
name: retrieve_data
arguments: tag: D157
type_guessed: string
name: retrieve_data
arguments: tag: D91
type_guessed: string
name: retrieve_data
arguments: tag: D182
type_guessed: string
name: retrieve_data
arguments: tag: D147
type_guessed: string
name: retrieve_data
arguments: tag: D88
type_guessed: string
name: retrieve_data
arguments: tag: D77
type_guessed: string

tool: D59: avcodec

tool: D61: avcodec-x86

tool: D173: avfilter

tool: D15: avformat

tool: D33: avutil

tool: D103: avutil-x86

tool: D140: compat

tool: D0: lame

tool: D108: postproc

tool: D38: swresample

tool: D131: swresample-x86

tool: D29: swscale

tool: D28: swscale-x86

tool: D157: x264

tool: D91: x264common

tool: D182: x264encoder

tool: D147: x264filter

tool: D88: x264input

tool: D77: x264output

assistant: ```c
int ffmpeg_file(char *name) {
  if (!strcmp(name, "avcodec")) {
    return 1;
  }
  if (!strcmp(name, "avcodec-x86")) {
    return 1;
  }
  if (!strcmp(name, "avfilter")) {
    return 1;
  }
  if (!strcmp(name, "avformat")) {
    return 1;
  }
  if (!strcmp(name, "avutil")) {
    return 1;
  }
  if (!strcmp(name, "avutil-x86")) {
    return 1;
  }
  if (!strcmp(name, "compat")) {
    return 1;
  }
  if (!strcmp(name, "lame")) {
    return 1;
  }
  if (!strcmp(name, "postproc")) {
    return 1;
  }
  if (!strcmp(name, "swresample")) {
    return 1;
  }
  if (!strcmp(name, "swresample-x86")) {
    return 1;
  }
  if (!strcmp(name, "swscale")) {
    return 1;
  }
  if (!strcmp(name, "swscale-x86")) {
    return 1;
  }
  if (!strcmp(name, "x264")) {
    return 1;
  }
  if (!strcmp(name, "x264common")) {
    return 1;
  }
  if (!strcmp(name, "x264encoder")) {
    return 1;
  }
  if (!strcmp(name, "x264filter")) {
    return 1;
  }
  if (!strcmp(name, "x264input")) {
    return 1;
  }
  if (!strcmp(name, "x264output")) {
    return 1;
  }
  return 0;
}
```