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

```asm
<test_sprintf_chk_integer_value>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D86(%rip),%rbx
  mov    %rbx,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D13(%rip),%r15
  mov    %r15,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D95(%rip),%r14
  mov    %r14,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D38(%rip),%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D33(%rip),%r12
  mov    %r12,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D2(%rip),%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,%r13
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D63(%rip),%rbp
  mov    %rbp,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D20(%rip),%r13
  mov    %r13,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r13,%rcx
  mov    $0x1,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x9,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0xffffffff,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0xa,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    0x8(%rsp),%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,0x8(%rsp)
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r15,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    0x8(%rsp),%r15
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r15
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r14,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r15,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r14
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D38(%rip),%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r14
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r12,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r14
  mov    $0x7,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r12,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r14
  mov    $0x8,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r12,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r14
  mov    $0x40,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r12,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %r13,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0xa,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0xf,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0x10,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0xff,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    %rax,%r12
  mov    $0x1ff,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x2,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x9,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0xfffffff7,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0xa,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x63,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0xffffff9d,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    %rax,%rbp
  mov    $0x63,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r12d
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  lea    (%r12,%rax,1),%r8d
  mov    %rbx,%rcx
  mov    $0x3,%edx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x8,%edi
  call   <malloc@plt>
  mov    %rax,%rbx
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  lea    D91(%rip),%rbp
  mov    %rbp,%rcx
  mov    $0x8,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  mov    $0x9,%edi
  call   <malloc@plt>
  mov    %rax,%rbx
  mov    $0x1,%edi
  mov    $0x0,%eax
  call   <i@plt>
  mov    %eax,%r8d
  mov    %rbp,%rcx
  mov    $0x9,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <__sprintf_chk@plt>
  mov    %rbx,%rdi
  mov    $0x0,%eax
  call   <sink@plt>
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: tag: D86
data_type: string
name: read_data
arguments: tag: D13
data_type: string
name: read_data
arguments: tag: D95
data_type: string
name: read_data
arguments: tag: D38
data_type: string
name: read_data
arguments: tag: D33
data_type: string
name: read_data
arguments: tag: D2
data_type: string
name: read_data
arguments: tag: D63
data_type: string
name: read_data
arguments: tag: D20
data_type: string
name: read_data
arguments: tag: D91
data_type: string

tool: D86: %i

tool: D13: %i_

tool: D95: _%i

tool: D38: _%i_

tool: D33: %o

tool: D2: %u

tool: D63: %x

tool: D20: %#x

tool: D91: %8u

assistant: ```c
void test_sprintf_chk_integer_value(void) {
  do {
    if (!0 || 70 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 71 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 72 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(-1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 73 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i_", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 74 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "_%i", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 75 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "_%i_", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 76 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%o", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 77 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%u", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 78 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 79 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%#x", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 80 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 81 == 0) {
      char *d = (char *)__builtin_malloc(1);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%#x", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 83 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 84 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 85 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(9));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 86 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(-1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 87 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(10));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 88 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i_", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 89 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "_%i", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 90 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "_%i_", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 91 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%o", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 92 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%o", i(7));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 93 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%o", i(010));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 94 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%o", i(0100));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 95 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 96 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%#x", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 97 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(0xa));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 98 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(0xf));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 99 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(0x10));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 100 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(0xff));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 101 == 0) {
      char *d = (char *)__builtin_malloc(2);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%x", i(0x1ff));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 103 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(0));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 104 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 105 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(9));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 106 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(-9));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 107 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(10));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 108 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(99));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 109 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(-99));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 111 == 0) {
      char *d = (char *)__builtin_malloc(3);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%i", i(99) + i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 113 == 0) {
      char *d = (char *)__builtin_malloc(8);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%8u", i(1));
      sink(d);
    }
  } while (0);
  do {
    if (!0 || 114 == 0) {
      char *d = (char *)__builtin_malloc(9);
      __builtin___sprintf_chk(d, 0, __builtin_object_size(d, 0), "%8u", i(1));
      sink(d);
    }
  } while (0);
}
```