user: Please show me the C implementation that matches the assembly code listed below:

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movabs $0x6d74726f44204846,%rax
  mov    $0x646e75,%edx
  mov    %rax,-0x40(%rbp)
  mov    %rdx,-0x38(%rbp)
  movl   $0x0,-0x30(%rbp)
  lea    -0x40(%rbp),%rax
  mov    %rax,%rsi
  lea    D139(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rsi
  lea    D4(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D45(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    -0x40(%rbp),%rdx
  lea    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcpy@plt>
  lea    -0x40(%rbp),%rax
  mov    %rax,%rsi
  lea    D139(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rsi
  lea    D4(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D123(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rdi
  call   <strlen@plt>
  mov    %eax,%esi
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D0(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    -0x40(%rbp),%rdx
  lea    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  mov    %eax,%esi
  lea    D132(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D104(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    -0x40(%rbp),%rdx
  lea    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcat@plt>
  lea    -0x40(%rbp),%rax
  mov    %rax,%rsi
  lea    D139(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    -0x20(%rbp),%rax
  mov    %rax,%rsi
  lea    D4(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D0(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  lea    -0x40(%rbp),%rdx
  lea    -0x20(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <strcmp@plt>
  mov    %eax,%esi
  lea    D132(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L8
  call   <__stack_chk_fail@plt>
L8:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D139
type: string
name: extract_symbolic_data
arguments: data_label: D4
type: string
name: extract_symbolic_data
arguments: data_label: D45
type: string
name: extract_symbolic_data
arguments: data_label: D123
type: string
name: extract_symbolic_data
arguments: data_label: D127
type: string
name: extract_symbolic_data
arguments: data_label: D0
type: string
name: extract_symbolic_data
arguments: data_label: D132
type: string
name: extract_symbolic_data
arguments: data_label: D104
type: string

tool: D139: organisation = "%s"


tool: D4: string2      = "%s"


tool: D45: 
Running: strcpy(string2, organisation)

tool: D123: 
Running: strlen(string2)

tool: D127: strlen(string2) = %ld


tool: D0: 
Running: strcmp(string2, organisation)

tool: D132: strcmp(string2, organisation) = %d


tool: D104: 
Running: strcat(string2, organisation)

assistant: ```c
int main() {
  char organisation[20] = "FH Dortmund";
  char string2[20];
  printf("organisation = \"%s\"\n", organisation);
  printf("string2      = \"%s\"\n", string2);
  printf("\nRunning: strcpy(string2, organisation)\n");
  strcpy(string2, organisation);
  printf("organisation = \"%s\"\n", organisation);
  printf("string2      = \"%s\"\n", string2);
  printf("\nRunning: strlen(string2)\n");
  printf("strlen(string2) = %ld\n", strlen(string2));
  printf("\nRunning: strcmp(string2, organisation)\n");
  printf("strcmp(string2, organisation) = %d\n", strcmp(string2, organisation));
  printf("\nRunning: strcat(string2, organisation)\n");
  strcat(string2, organisation);
  printf("organisation = \"%s\"\n", organisation);
  printf("string2      = \"%s\"\n", string2);
  printf("\nRunning: strcmp(string2, organisation)\n");
  printf("strcmp(string2, organisation) = %d\n", strcmp(string2, organisation));
  return 0;
}
```