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

```asm
<test_strncat_range>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x12(%rbp)
  movb   $0x0,-0xe(%rbp)
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L246
  lea    D122(%rip),%rax
  jmp    L393
L246:
  lea    D326(%rip),%rax
L393:
  lea    -0x12(%rbp),%rcx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L294
  lea    D122(%rip),%rax
  jmp    L264
L294:
  lea    D326(%rip),%rax
L264:
  lea    -0x12(%rbp),%rcx
  mov    $0x1,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L315
  lea    D122(%rip),%rax
  jmp    L216
L315:
  lea    D326(%rip),%rax
L216:
  lea    -0x12(%rbp),%rcx
  mov    $0x2,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L4
  lea    D122(%rip),%rax
  jmp    L13
L4:
  lea    D326(%rip),%rax
L13:
  lea    -0x12(%rbp),%rcx
  mov    $0x3,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L73
  lea    D122(%rip),%rax
  jmp    L420
L73:
  lea    D326(%rip),%rax
L420:
  lea    -0x12(%rbp),%rcx
  mov    $0x4,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L412
  lea    D122(%rip),%rcx
  jmp    L165
L412:
  lea    D326(%rip),%rcx
L165:
  lea    -0x12(%rbp),%rax
  add    $0x5,%rax
  mov    $0x0,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  add    $0x5,%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L240
  lea    D122(%rip),%rcx
  jmp    L233
L240:
  lea    D326(%rip),%rcx
L233:
  lea    -0x12(%rbp),%rax
  add    $0x5,%rax
  mov    $0x1,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  add    $0x5,%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L181
  lea    D45(%rip),%rcx
  jmp    L27
L181:
  lea    D326(%rip),%rcx
L27:
  lea    -0x12(%rbp),%rax
  add    $0x5,%rax
  mov    $0x1,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  add    $0x5,%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L45
  lea    D122(%rip),%rax
  jmp    L145
L45:
  lea    D326(%rip),%rax
L145:
  lea    -0x12(%rbp),%rcx
  mov    $0x5,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  test   %eax,%eax
  jne    L241
  lea    D122(%rip),%rax
  jmp    L260
L241:
  lea    D326(%rip),%rax
L260:
  lea    -0x12(%rbp),%rcx
  mov    $0x6,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L312
  lea    D45(%rip),%rax
  jmp    L279
L312:
  lea    D326(%rip),%rax
L279:
  lea    -0x12(%rbp),%rcx
  mov    $0x0,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L137
  lea    D45(%rip),%rax
  jmp    L207
L137:
  lea    D326(%rip),%rax
L207:
  lea    -0x12(%rbp),%rcx
  mov    $0x1,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L175
  lea    D45(%rip),%rax
  jmp    L203
L175:
  lea    D326(%rip),%rax
L203:
  lea    -0x12(%rbp),%rcx
  mov    $0x2,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L122
  lea    D45(%rip),%rax
  jmp    L185
L122:
  lea    D326(%rip),%rax
L185:
  lea    -0x12(%rbp),%rcx
  mov    $0x3,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L182
  lea    D45(%rip),%rax
  jmp    L99
L182:
  lea    D326(%rip),%rax
L99:
  lea    -0x12(%rbp),%rcx
  mov    $0x4,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L149
  lea    D45(%rip),%rax
  jmp    L337
L149:
  lea    D326(%rip),%rax
L337:
  lea    -0x12(%rbp),%rcx
  mov    $0x5,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x1,%eax
  jne    L219
  lea    D45(%rip),%rax
  jmp    L362
L219:
  lea    D326(%rip),%rax
L362:
  lea    -0x12(%rbp),%rcx
  mov    $0x6,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x2,%eax
  jne    L426
  lea    D358(%rip),%rax
  jmp    L224
L426:
  lea    D326(%rip),%rax
L224:
  lea    -0x12(%rbp),%rcx
  mov    $0x6,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x5,%eax
  jne    L97
  lea    D376(%rip),%rax
  jmp    L49
L97:
  lea    D326(%rip),%rax
L49:
  lea    -0x12(%rbp),%rcx
  mov    $0x6,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x7,%eax
  jne    L29
  lea    D65(%rip),%rax
  jmp    L156
L29:
  lea    D326(%rip),%rax
L156:
  lea    -0x12(%rbp),%rcx
  mov    $0x6,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0x12(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  movl   $0x3231,-0xd(%rbp)
  movb   $0x0,-0x9(%rbp)
  mov    $0x0,%eax
  call   <random_unsigned_value@plt>
  cmp    $0x4,%eax
  jne    L162
  lea    D271(%rip),%rax
  jmp    L418
L162:
  lea    D326(%rip),%rax
L418:
  lea    -0xd(%rbp),%rcx
  mov    $0x4,%edx
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <strncat@plt>
  lea    -0xd(%rbp),%rax
  mov    %rax,%rdi
  call   <sink@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L405
  call   <__stack_chk_fail@plt>
L405:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D122
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D326
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D45
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D358
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D376
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D65
type_infered: string
name: extract_symbolic_data
arguments: data_tag: D271
type_infered: string

tool: 

tool: D326: 0123456789

tool: D45: 9

tool: D358: 89

tool: D376: 56789

tool: D65: 3456789

tool: D271: 6789

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)));
  }
}
```