user: 下面的汇编指令对应的C源代码是什么：

```asm
<test_sprintf_chk_integer_value>:
  endbr64
  push   %r15
  mov    $0x1,%edi
  lea    D71(%rip),%r15
  push   %r14
  lea    D32(%rip),%r14
  push   %r13
  lea    D66(%rip),%r13
  push   %r12
  lea    D34(%rip),%r12
  push   %rbp
  push   %rbx
  lea    D99(%rip),%rbx
  sub    $0x8,%rsp
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0xffffffff,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %rbp,%rdi
  lea    D33(%rip),%r10
  mov    %eax,%r8d
  xor    %eax,%eax
  mov    %r10,%rcx
  call   <__sprintf_chk@plt>
  xor    %eax,%eax
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %rbp,%rdi
  lea    D25(%rip),%r9
  mov    %eax,%r8d
  xor    %eax,%eax
  mov    %r9,%rcx
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %rbx,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r14,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %rbp,%rdi
  mov    %eax,%r8d
  lea    D92(%rip),%rcx
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r15,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  mov    $0x1,%edx
  xor    %esi,%esi
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x1,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r15,%rcx
  xor    %esi,%esi
  mov    $0x1,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x9,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0xffffffff,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0xa,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %rbp,%rdi
  lea    D33(%rip),%r10
  mov    %eax,%r8d
  xor    %eax,%eax
  mov    %r10,%rcx
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    $0x2,%edx
  xor    %esi,%esi
  mov    %rbp,%rdi
  lea    D25(%rip),%r9
  mov    %eax,%r8d
  xor    %eax,%eax
  mov    %r9,%rcx
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %rbx,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r14,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x7,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r14,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x8,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r14,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  xor    %eax,%eax
  mov    %rbp,%rdi
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x40,%edi
  mov    %rax,%rbp
  xor    %eax,%eax
  call   <i@plt>
  mov    %r14,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %rbp,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r15,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0xa,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  xor    %eax,%eax
  mov    %r14,%rdi
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0xf,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x10,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0xff,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x2,%edi
  call   <malloc@plt>
  mov    $0x1ff,%edi
  mov    %rax,%r14
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  xor    %esi,%esi
  mov    $0x2,%edx
  mov    %eax,%r8d
  mov    %r14,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  xor    %eax,%eax
  mov    %r14,%rdi
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  xor    %edi,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x3,%edx
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x3,%edx
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0x9,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x3,%edx
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0xfffffff7,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  mov    $0x3,%edx
  xor    %esi,%esi
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0xa,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x3,%edx
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0x63,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  xor    %esi,%esi
  mov    $0x3,%edx
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0xffffff9d,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rcx
  mov    $0x3,%edx
  xor    %esi,%esi
  mov    %eax,%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x3,%edi
  call   <malloc@plt>
  mov    $0x63,%edi
  mov    %rax,%r13
  xor    %eax,%eax
  call   <i@plt>
  mov    $0x1,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <i@plt>
  xor    %esi,%esi
  mov    %r12,%rcx
  mov    $0x3,%edx
  lea    (%rbx,%rax,1),%r8d
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r13,%rdi
  xor    %eax,%eax
  lea    D38(%rip),%r13
  call   <sink@plt>
  mov    $0x8,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%r12
  xor    %eax,%eax
  call   <i@plt>
  mov    %r13,%rcx
  mov    $0x8,%edx
  xor    %esi,%esi
  mov    %eax,%r8d
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <sink@plt>
  mov    $0x9,%edi
  call   <malloc@plt>
  mov    $0x1,%edi
  mov    %rax,%r12
  xor    %eax,%eax
  call   <i@plt>
  mov    %r12,%rdi
  mov    %r13,%rcx
  mov    $0x9,%edx
  mov    %eax,%r8d
  xor    %esi,%esi
  xor    %eax,%eax
  call   <__sprintf_chk@plt>
  add    $0x8,%rsp
  mov    %r12,%rdi
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1080 <sink@plt>
```

tool_calls: name: disassemble_data
arguments: label: D71
type_infered: string
name: disassemble_data
arguments: label: D32
type_infered: string
name: disassemble_data
arguments: label: D66
type_infered: string
name: disassemble_data
arguments: label: D34
type_infered: string
name: disassemble_data
arguments: label: D99
type_infered: string
name: disassemble_data
arguments: label: D33
type_infered: string
name: disassemble_data
arguments: label: D25
type_infered: string
name: disassemble_data
arguments: label: D92
type_infered: string
name: disassemble_data
arguments: label: D38
type_infered: string

tool: D71: %#x

tool: D32: %o

tool: D66: %x

tool: D34: %i

tool: D99: _%i_

tool: D33: %i_

tool: D25: _%i

tool: D92: %u

tool: D38: %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);
}
```