user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  push   %rbx
  sub    $0x20,%rsp
  lea    D50(%rip),%rax
  mov    %rax,-0x28(%rbp)
  lea    D50(%rip),%rax
  mov    %rax,-0x20(%rbp)
  lea    D94(%rip),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x28(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  mov    %eax,%r12d
  mov    -0x18(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  mov    %eax,%ebx
  mov    -0x20(%rbp),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  mov    %eax,%edx
  mov    -0x20(%rbp),%rsi
  mov    -0x28(%rbp),%rax
  sub    $0x8,%rsp
  push   %r12
  lea    D126(%rip),%rcx
  push   %rcx
  push   %rbx
  lea    D9(%rip),%rcx
  push   %rcx
  push   %rdx
  lea    D79(%rip),%rdx
  push   %rdx
  push   -0x18(%rbp)
  lea    D72(%rip),%r9
  mov    %rsi,%r8
  lea    D107(%rip),%rdx
  mov    %rdx,%rcx
  mov    %rax,%rdx
  lea    D104(%rip),%rax
  mov    %rax,%rsi
  lea    D70(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x40,%rsp
  mov    -0x28(%rbp),%rcx
  mov    -0x18(%rbp),%rax
  mov    $0x7,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncmp@plt>
  mov    %rax,%rbx
  mov    -0x18(%rbp),%rcx
  mov    -0x28(%rbp),%rax
  mov    $0x7,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncmp@plt>
  mov    %rax,%r12
  mov    -0x20(%rbp),%rcx
  mov    -0x28(%rbp),%rax
  mov    $0x6,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncmp@plt>
  mov    %rax,%rdx
  sub    $0x8,%rsp
  push   %rbx
  lea    D109(%rip),%r9
  mov    %r12,%r8
  lea    D82(%rip),%rax
  mov    %rax,%rcx
  lea    D91(%rip),%rax
  mov    %rax,%rsi
  lea    D27(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x10,%rsp
  mov    $0x0,%eax
  lea    -0x10(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %rbp
  ret
```

tool_calls: name: retrieve_data
arguments: label: D50
type: string
name: retrieve_data
arguments: label: D94
type: string
name: retrieve_data
arguments: label: D126
type: string
name: retrieve_data
arguments: label: D9
type: string
name: retrieve_data
arguments: label: D79
type: string
name: retrieve_data
arguments: label: D72
type: string
name: retrieve_data
arguments: label: D107
type: string
name: retrieve_data
arguments: label: D104
type: string
name: retrieve_data
arguments: label: D70
type: string
name: retrieve_data
arguments: label: D109
type: string
name: retrieve_data
arguments: label: D82
type: string
name: retrieve_data
arguments: label: D91
type: string
name: retrieve_data
arguments: label: D27
type: string

tool: D50: Happy New Year

tool: D94: Happy Holidays

tool: D126: strcmp(s3, s1) = 

tool: D9: strcmp(s1, s3) = 

tool: D79: strcmp(s1, s2) = 

tool: D72: s3 = 

tool: D107: s2 = 

tool: D104: s1 = 

tool: D70: %s%s
%s%s
%s%s

%s%2d
%s%2d
%s%2d



tool: D109: strncmp(s3, s1, 7) = 

tool: D82: strncmp(s1, s3, 7) = 

tool: D91: strncmp(s1, s2, 6) = 

tool: D27: %s%2d
%s%2d
%s%2d


assistant: ```c
int main() {
  const char *s1 = "Happy New Year";
  const char *s2 = "Happy New Year";
  const char *s3 = "Happy Holidays";
  printf("%s%s\n%s%s\n%s%s\n\n%s%2d\n%s%2d\n%s%2d\n\n", "s1 = ", s1, "s2 = ", s2, "s3 = ", s3, "strcmp(s1, s2) = ", strcmp(s1, s2), "strcmp(s1, s3) = ", strcmp(s1, s3), "strcmp(s3, s1) = ", strcmp(s3, s1));
  printf("%s%2d\n%s%2d\n%s%2d\n", "strncmp(s1, s2, 6) = ", strncmp(s1, s2, 6), "strncmp(s1, s3, 7) = ", strncmp(s1, s3, 7), "strncmp(s3, s1, 7) = ", strncmp(s3, s1, 7));
  return 0;
}
```