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

```asm
<main>:
  endbr64
  push   %r12
  lea    D127(%rip),%rdi
  lea    D80(%rip),%r12
  push   %rbp
  sub    $0x78,%rsp
  movdqa D134(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rbp
  movl   $0x0,0x60(%rsp)
  movaps %xmm0,(%rsp)
  movdqa D69(%rip),%xmm0
  mov    %rbp,%rsi
  movaps %xmm0,0x10(%rsp)
  pxor   %xmm0,%xmm0
  movaps %xmm0,0x20(%rsp)
  movaps %xmm0,0x30(%rsp)
  movaps %xmm0,0x40(%rsp)
  movaps %xmm0,0x50(%rsp)
  call   <printf@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    $0xc,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strn_cpy@plt>
  mov    %rbp,%rsi
  lea    D54(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0x1e,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strn_cpy@plt>
  mov    %rbp,%rsi
  xor    %eax,%eax
  lea    D158(%rip),%rdi
  call   <printf@plt>
  xor    %esi,%esi
  cmpb   $0x0,0xc(%rsp)
  lea    D75(%rip),%rdi
  sete   %sil
  xor    %eax,%eax
  lea    D28(%rip),%r12
  call   <printf@plt>
  xor    %esi,%esi
  cmpb   $0x0,0x10(%rsp)
  lea    D63(%rip),%rdi
  sete   %sil
  xor    %eax,%eax
  call   <printf@plt>
  xor    %esi,%esi
  cmpb   $0x0,0x1d(%rsp)
  lea    D144(%rip),%rdi
  sete   %sil
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0x14,%edx
  lea    D84(%rip),%rsi
  mov    %rbp,%rdi
  call   <strn_cat@plt>
  lea    D15(%rip),%rdi
  mov    %rax,%rsi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    $0x5,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strn_cmp@plt>
  lea    D133(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0xb,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strn_cmp@plt>
  lea    D33(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    $0xf,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <strn_cmp@plt>
  lea    D64(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D22(%rip),%rsi
  mov    %rbp,%rdi
  mov    $0x6,%edx
  call   <strn_cmp@plt>
  lea    D111(%rip),%rdi
  mov    %eax,%esi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L3
  add    $0x78,%rsp
  xor    %eax,%eax
  pop    %rbp
  pop    %r12
  ret
L3:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D127
type_infered: string
name: read_data
arguments: tag: D80
type_infered: string
name: read_data
arguments: tag: D134
type_infered: byte[16]
name: read_data
arguments: tag: D69
type_infered: byte[16]
name: read_data
arguments: tag: D54
type_infered: string
name: read_data
arguments: tag: D158
type_infered: string
name: read_data
arguments: tag: D75
type_infered: string
name: read_data
arguments: tag: D28
type_infered: string
name: read_data
arguments: tag: D63
type_infered: string
name: read_data
arguments: tag: D144
type_infered: string
name: read_data
arguments: tag: D84
type_infered: string
name: read_data
arguments: tag: D15
type_infered: string
name: read_data
arguments: tag: D133
type_infered: string
name: read_data
arguments: tag: D33
type_infered: string
name: read_data
arguments: tag: D64
type_infered: string
name: read_data
arguments: tag: D22
type_infered: string
name: read_data
arguments: tag: D111
type_infered: string

tool: D127: Test string s:
%s


tool: D80: This is the 

tool: {"D134": [0x54,0x68,0x69,0x73,0x20,0x69,0x73,0x20,0x74,0x68,0x65,0x20,0x66,0x69,0x72,0x73]}

tool: {"D69": [0x74,0x20,0x74,0x65,0x73,0x74,0x20,0x73,0x74,0x72,0x69,0x6e,0x67,0x2e,0x00,0x00]}

tool: D54: strn_cpy(s, "This is the ", 12):
s: %s


tool: D158: strn_cpy(s, "This is the ", 30):
s: %s


tool: D75: Should be padded with 0s. Test s[12] == 0? %d


tool: D28: This is the

tool: D63: Should be padded with 0s. Test s[16] == 0? %d


tool: D144: Should be padded with 0s. Test s[29] == 0? %d


tool: D84: concatenated string.

tool: D15: strn_cat(s, "concatenated string. But this sentence must not be copied.", 20):
s: %s


tool: D133: strn_cmp(s, "This is the", 5) returns %d


tool: D33: strn_cmp(s, "This is the", 11) returns %d


tool: D64: strn_cmp(s, "This is the", 15) returns %d


tool: D22: UVWXYZ

tool: D111: strn_cmp(s, "UVWXYZ", 6) returns %d


assistant: ```c
int main(int argc, char **argv) {
  char s[100] = "This is the first test string.";
  char *ps;
  int r;
  printf("Test string s:\n%s\n", s);
  printf("\n");
  strn_cpy(s, "This is the ", 12);
  printf("strn_cpy(s, \"This is the \", 12):\ns: %s\n", s);
  strn_cpy(s, "This is the ", 30);
  printf("strn_cpy(s, \"This is the \", 30):\ns: %s\n", s);
  printf("Should be padded with 0s. Test s[12] == 0? %d\n", s[12] == '\0' ? 1 : 0);
  printf("Should be padded with 0s. Test s[16] == 0? %d\n", s[16] == '\0' ? 1 : 0);
  printf("Should be padded with 0s. Test s[29] == 0? %d\n", s[29] == '\0' ? 1 : 0);
  ps = strn_cat(s, "concatenated string.", 20);
  printf("strn_cat(s, \"concatenated string. But this sentence must not be copied.\", 20):\ns: %s\n", ps);
  printf("\n");
  r = strn_cmp(s, "This is the", 5);
  printf("strn_cmp(s, \"This is the\", 5) returns %d\n", r);
  r = strn_cmp(s, "This is the", 11);
  printf("strn_cmp(s, \"This is the\", 11) returns %d\n", r);
  r = strn_cmp(s, "This is the", 15);
  printf("strn_cmp(s, \"This is the\", 15) returns %d\n", r);
  r = strn_cmp(s, "UVWXYZ", 6);
  printf("strn_cmp(s, \"UVWXYZ\", 6) returns %d\n", r);
  return 0;
}
```