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

```asm
<test_strncat_range>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  lea    D8(%rip),%r12
  push   %rbp
  push   %rbx
  lea    -0xa(%r12),%rbx
  lea    0x9(%rbx),%r13
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  movl   $0x0,0xe(%rsp)
  lea    0xe(%rsp),%rbp
  lea    0x13(%rsp),%r14
  movb   $0x0,0x12(%rsp)
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  xor    %edx,%edx
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x1,%edx
  mov    %rbp,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x2,%edx
  mov    %rbp,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x3,%edx
  mov    %rbp,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x4,%edx
  mov    %rbp,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    %r14,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  xor    %edx,%edx
  call   <strncat@plt>
  mov    %r14,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x1,%edx
  mov    %r14,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  call   <strncat@plt>
  mov    %r14,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x1,%edx
  mov    %r14,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  call   <strncat@plt>
  mov    %r14,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x5,%edx
  mov    %rbp,%rdi
  test   %eax,%eax
  cmove  %r12,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %r12,%rsi
  mov    $0x6,%edx
  mov    %rbp,%rdi
  test   %eax,%eax
  cmovne %rbx,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  xor    %edx,%edx
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x1,%edx
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x2,%edx
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x3,%edx
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x4,%edx
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %rbx,%rsi
  mov    $0x5,%edx
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmove  %r13,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  mov    %r13,%rsi
  mov    $0x6,%edx
  mov    %rbp,%rdi
  cmp    $0x1,%eax
  cmovne %rbx,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  lea    0x8(%rbx),%rsi
  mov    $0x6,%edx
  mov    %rbp,%rdi
  cmp    $0x2,%eax
  cmovne %rbx,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  lea    0x5(%rbx),%rsi
  mov    $0x6,%edx
  mov    %rbp,%rdi
  cmp    $0x5,%eax
  cmovne %rbx,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  call   <random_unsigned_value@plt>
  lea    0x3(%rbx),%rsi
  mov    $0x6,%edx
  mov    %rbp,%rdi
  cmp    $0x7,%eax
  cmovne %rbx,%rsi
  call   <strncat@plt>
  mov    %rbp,%rdi
  call   <sink@plt>
  xor    %eax,%eax
  movb   $0x0,0x17(%rsp)
  movl   $0x3231,0x13(%rsp)
  call   <random_unsigned_value@plt>
  lea    0x6(%rbx),%rsi
  mov    %r14,%rdi
  mov    $0x4,%edx
  cmp    $0x4,%eax
  cmovne %rbx,%rsi
  call   <strncat@plt>
  mov    %r14,%rdi
  call   <sink@plt>
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L8
  add    $0x20,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L8:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D8
type_guessed: string

tool: 

assistant: ```c
void test_strncat_range(void) {
  char buf[5] = "";
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (0)), sink((buf)));
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (1)), sink((buf)));
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (2)), sink((buf)));
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (3)), sink((buf)));
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (4)), sink((buf)));
  (strncat((buf + 5), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (0)), sink((buf + 5)));
  (strncat((buf + 5), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (1)), sink((buf + 5)));
  (strncat((buf + 5), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (1)), sink((buf + 5)));
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (5)), sink((buf)));
  (strncat((buf), ((0 == random_unsigned_value() ? "0123456789" + 10 - 0 : "0123456789")), (6)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (0)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (1)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (2)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (3)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (4)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (5)), sink((buf)));
  (strncat((buf), ((1 == random_unsigned_value() ? "0123456789" + 10 - 1 : "0123456789")), (6)), sink((buf)));
  (strncat((buf), ((2 == random_unsigned_value() ? "0123456789" + 10 - 2 : "0123456789")), (6)), sink((buf)));
  (strncat((buf), ((5 == random_unsigned_value() ? "0123456789" + 10 - 5 : "0123456789")), (6)), sink((buf)));
  (strncat((buf), ((7 == random_unsigned_value() ? "0123456789" + 10 - 7 : "0123456789")), (6)), sink((buf)));
  {
    char buf2[5] = "12";
    (strncat((buf2), ((4 == random_unsigned_value() ? "0123456789" + 10 - 4 : "0123456789")), (4)), sink((buf2)));
  }
}
```