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

```asm
<task1>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  lea    -0x8000(%rsp),%r11
L62:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L62
  sub    $0x40,%rsp
  mov    %rdi,-0x8028(%rbp)
  mov    %rsi,-0x8030(%rbp)
  mov    %rdx,-0x8038(%rbp)
  mov    %rcx,-0x8040(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    D2(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  movl   $0x1,-0x8018(%rbp)
  jmp    L2
L59:
  mov    -0x8018(%rbp),%edx
  mov    -0x8028(%rbp),%rcx
  lea    -0x8010(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <sprintf@plt>
  mov    -0x8038(%rbp),%rdx
  mov    -0x8030(%rbp),%rcx
  lea    -0x8010(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <rsa_verify_file@plt>
  mov    %eax,-0x8014(%rbp)
  cmpl   $0x0,-0x8014(%rbp)
  jle    L12
  lea    -0x4010(%rbp),%rax
  lea    D26(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  lea    -0x8010(%rbp),%rdx
  lea    -0x4010(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcat@plt>
  lea    -0x8010(%rbp),%rdx
  mov    -0x8040(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  jmp    L70
L12:
  cmpl   $0x0,-0x8014(%rbp)
  jne    L72
  lea    -0x4010(%rbp),%rax
  lea    D27(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  lea    -0x8010(%rbp),%rdx
  lea    -0x4010(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcat@plt>
  jmp    L70
L72:
  lea    -0x4010(%rbp),%rax
  lea    D47(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  lea    -0x8010(%rbp),%rdx
  lea    -0x4010(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcat@plt>
L70:
  lea    -0x4010(%rbp),%rax
  lea    D1(%rip),%rdx
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcat@plt>
  lea    -0x4010(%rbp),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  addl   $0x1,-0x8018(%rbp)
L2:
  cmpl   $0x3,-0x8018(%rbp)
  jle    L59
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L9
  call   <__stack_chk_fail@plt>
L9:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D2
type: string
name: extract_symbolic_data
arguments: data_tag: D26
type: string
name: extract_symbolic_data
arguments: data_tag: D27
type: string
name: extract_symbolic_data
arguments: data_tag: D47
type: string
name: extract_symbolic_data
arguments: data_tag: D1
type: string

tool: D2: 
Aufgabe 1:


tool: D26: 	Signature did match for file 

tool: D27: 	Signature did not match for file 

tool: D47: 	Signature check failed for file 

tool: D1: 


assistant: ```c
void task1(char *cipher_file_name_template, char *pubkey_file_name, char *signature_file_name, char *right_cipher_file_name) {
  printf("\nAufgabe 1:\n");
  int i;
  for (i = 1; i < 4; i++) {
    char cipher_file_name[16384];
    sprintf(cipher_file_name, cipher_file_name_template, i);
    int result = rsa_verify_file(cipher_file_name, pubkey_file_name, signature_file_name);
    char output[16384];
    if (result > 0) {
      strcpy(output, "\tSignature did match for file ");
      strcat(output, cipher_file_name);
      strcpy(right_cipher_file_name, cipher_file_name);
    } else if (result == 0) {
      strcpy(output, "\tSignature did not match for file ");
      strcat(output, cipher_file_name);
    } else {
      strcpy(output, "\tSignature check failed for file ");
      strcat(output, cipher_file_name);
    }
    strcat(output, "\n");
    printf(output);
  }
}
```