user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<main>:
  endbr64
  push   %r13
  lea    D77(%rip),%rdi
  push   %r12
  push   %rbp
  sub    $0x70,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  lea    0xf(%rsp),%r12
  lea    0xb(%rsp),%rbp
  movabs $0x65706f6c65746e41,%rax
  movl   $0x746163,0xb(%rsp)
  movl   $0x474f44,0xf(%rsp)
  movl   $0x776f63,0x13(%rsp)
  mov    %rax,0x17(%rsp)
  movb   $0x0,0x1f(%rsp)
  call   <puts@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strcasecmp@plt>
  test   %rax,%rax
  js     L104
L35:
  lea    0x13(%rsp),%r13
  mov    %r12,%rdi
  mov    %r13,%rsi
  call   <strcasecmp@plt>
  test   %rax,%rax
  jle    L97
  mov    %r13,%rdx
  mov    %r12,%rsi
  lea    D90(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L97:
  lea    0x17(%rsp),%r12
  mov    %rbp,%rdi
  mov    %r12,%rsi
  call   <strcasecmp@plt>
  test   %rax,%rax
  jle    L57
  mov    %r12,%rdx
  mov    %rbp,%rsi
  lea    D90(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L57:
  lea    D95(%rip),%rsi
  mov    %r13,%rdi
  call   <strcasecmp@plt>
  test   %rax,%rax
  je     L4
L88:
  lea    D55(%rip),%rdi
  xor    %eax,%eax
  lea    0x20(%rsp),%rbp
  lea    D10(%rip),%r13
  lea    0x40(%rsp),%r12
  call   <printf@plt>
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <scanf@plt>
  lea    D45(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <scanf@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strcasecmp@plt>
  test   %rax,%rax
  js     L86
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strcasecmp@plt>
  test   %rax,%rax
  je     L59
  mov    %r12,%rdx
  mov    %rbp,%rsi
  lea    D78(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L2:
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L45
  add    $0x70,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L59:
  lea    D48(%rip),%rdi
  call   <puts@plt>
  jmp    L2
L86:
  mov    %r12,%rdx
  mov    %rbp,%rsi
  lea    D109(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L2
L4:
  lea    D82(%rip),%rdi
  call   <puts@plt>
  jmp    L88
L104:
  mov    %r12,%rdx
  mov    %rbp,%rsi
  lea    D22(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L35
L45:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D77
type: string
name: extract_symbolic_data
arguments: data_tag: D90
type: string
name: extract_symbolic_data
arguments: data_tag: D95
type: string
name: extract_symbolic_data
arguments: data_tag: D55
type: string
name: extract_symbolic_data
arguments: data_tag: D10
type: string
name: extract_symbolic_data
arguments: data_tag: D45
type: string
name: extract_symbolic_data
arguments: data_tag: D78
type: string
name: extract_symbolic_data
arguments: data_tag: D48
type: string
name: extract_symbolic_data
arguments: data_tag: D109
type: string
name: extract_symbolic_data
arguments: data_tag: D82
type: string
name: extract_symbolic_data
arguments: data_tag: D22
type: string

tool: D77: strcasecmp() Examples


tool: D90: %s appears after %s.



tool: D95: cow

tool: D55: Enter first name (no spaces): 

tool: D10: %s

tool: D45: Enter second name (no spaces): 

tool: D78: '%s' appears after '%s'.



tool: D48: These strings are the same.


tool: D109: '%s' appears before '%s'.



tool: D82: These two strings are the same.


tool: D22: %s appears before %s.



assistant: ```c
int main() {
  char str1[] = "cat", str2[] = "DOG", str3[] = "cow", str4[] = "Antelope";
  char name1[30 + 1], name2[30 + 1];
  printf("strcasecmp() Examples\n\n");
  if (strcasecmp(str1, str2) < 0)
    printf("%s appears before %s.\n\n", str1, str2);
  if (strcasecmp(str2, str3) > 0)
    printf("%s appears after %s.\n\n", str2, str3);
  if (strcasecmp(str1, str4) > 0)
    printf("%s appears after %s.\n\n", str1, str4);
  if (strcasecmp(str3, "cow") == 0)
    printf("These two strings are the same.\n\n");
  printf("Enter first name (no spaces): ");
  scanf("%s", name1);
  printf("Enter second name (no spaces): ");
  scanf("%s", name2);
  if (strcasecmp(name1, name2) < 0)
    printf("'%s' appears before '%s'.\n\n", name1, name2);
  else if (strcasecmp(name1, name2) == 0)
    printf("These strings are the same.\n\n");
  else
    printf("'%s' appears after '%s'.\n\n", name1, name2);
  return 0;
}
```