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

```asm
<test_char_array_chk>:
  endbr64
  push   %r12
  mov    $0x1,%esi
  lea    D3(%rip),%r12
  push   %rbp
  mov    %rdi,%rbp
  sub    $0x8,%rsp
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___memcpy_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___mempcpy_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___memmove_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  xor    %esi,%esi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___memset_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___stpncpy_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___strncpy_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0xa,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___strncat_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0x9,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___stpncpy_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    $0x9,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  mov    %eax,%ecx
  call   <__builtin___strncpy_chk@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    %rbp,%rdi
  mov    $0x1,%esi
  call   <__builtin_object_size@plt>
  mov    %rbp,%rdi
  mov    %r12,%rsi
  mov    $0x9,%edx
  mov    %eax,%ecx
  call   <__builtin___strncat_chk@plt>
  add    $0x8,%rsp
  mov    %rbp,%rdi
  pop    %rbp
  pop    %r12
  jmp    1130 <sink@plt>
```

tool_calls: name: read_data
arguments: data_tag: D3
type: string

tool: D3: 123456789

assistant: ```c
void test_char_array_chk(char *dst) {
  (__builtin___memcpy_chk(dst, "123456789", sizeof "123456789", __builtin_object_size(dst, 1)), sink((dst)));
  (__builtin___mempcpy_chk(dst, "123456789", sizeof "123456789", __builtin_object_size(dst, 1)), sink((dst)));
  (__builtin___memmove_chk(dst, "123456789", sizeof "123456789", __builtin_object_size(dst, 1)), sink((dst)));
  (__builtin___memset_chk(dst, 0, sizeof "123456789", __builtin_object_size(dst, 1)), sink((dst)));
  (__builtin___stpncpy_chk(dst, "123456789", sizeof "123456789", __builtin_object_size(dst, 1)), sink(dst));
  (__builtin___strncpy_chk(dst, "123456789", sizeof "123456789", __builtin_object_size(dst, 1)), sink(dst));
  (__builtin___strncat_chk(dst, "123456789", sizeof "123456789", __builtin_object_size(dst, 1)), sink(dst));
  (__builtin___stpncpy_chk(dst, "123456789", sizeof "123456789" - 1, __builtin_object_size(dst, 1)), sink(dst));
  (__builtin___strncpy_chk(dst, "123456789", sizeof "123456789" - 1, __builtin_object_size(dst, 1)), sink(dst));
  (__builtin___strncat_chk(dst, "123456789", sizeof "123456789" - 1, __builtin_object_size(dst, 1)), sink(dst));
}
```