user: 请将以下的汇编代码转换成C语言代码：

```asm
<test_arg_int>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %esi,%ebp
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D332(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L132
  mov    %eax,%edi
  call   <failure_on_line_49@plt>
L162:
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D332(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L668
  mov    %eax,%edi
  call   <failure_on_line_50@plt>
L356:
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  mov    %ebx,%r8d
  lea    D356(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x2,%eax
  je     L776
  mov    %eax,%edi
  call   <failure_on_line_51@plt>
L76:
  mov    $0x9,%edi
  call   <ival@plt>
  mov    %eax,%r12d
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  mov    %r12d,%r9d
  mov    %ebx,%r8d
  lea    D342(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x3,%eax
  je     L666
  mov    %eax,%edi
  call   <failure_on_line_52@plt>
L135:
  mov    $0x9,%edi
  call   <ival@plt>
  mov    %eax,%r12d
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  mov    %r12d,%r9d
  mov    %ebx,%r8d
  lea    D306(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x5,%eax
  je     L587
  mov    %eax,%edi
  call   <failure_on_line_53@plt>
L786:
  mov    $0x9,%edi
  call   <ival@plt>
  mov    %eax,%r12d
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  mov    %r12d,%r9d
  mov    %ebx,%r8d
  lea    D306(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x5,%eax
  je     L215
  mov    %eax,%edi
  call   <failure_on_line_55@plt>
L0:
  mov    $0x87,%edi
  call   <ival@plt>
  mov    %eax,%r13d
  mov    $0xd8,%edi
  call   <ival@plt>
  mov    %eax,%r12d
  mov    $0x4e,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0x17,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  sub    $0x8,%rsp
  push   %r13
  mov    %r12d,%r9d
  mov    %ebx,%r8d
  lea    D361(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  add    $0x10,%rsp
  cmp    $0xd,%eax
  je     L581
  mov    %eax,%edi
  call   <failure_on_line_57@plt>
L87:
  mov    $0x0,%ebx
  lea    D332(%rip),%r12
  jmp    L128
L132:
  mov    $0x1,%edi
  call   <success_on_line_49@plt>
  jmp    L162
L668:
  mov    $0x1,%edi
  call   <success_on_line_50@plt>
  jmp    L356
L776:
  mov    $0x2,%edi
  call   <success_on_line_51@plt>
  jmp    L76
L666:
  mov    $0x3,%edi
  call   <success_on_line_52@plt>
  jmp    L135
L587:
  mov    $0x5,%edi
  call   <success_on_line_53@plt>
  jmp    L786
L215:
  mov    $0x5,%edi
  call   <success_on_line_55@plt>
  jmp    L0
L581:
  mov    $0xd,%edi
  call   <success_on_line_57@plt>
  jmp    L87
L482:
  mov    $0x1,%edi
  call   <success_on_line_60@plt>
L137:
  add    $0x1,%ebx
  cmp    $0x9,%ebx
  je     L676
L128:
  mov    %ebx,%ecx
  mov    %r12,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L482
  mov    %eax,%edi
  call   <failure_on_line_60@plt>
  jmp    L137
L676:
  mov    %ebp,%ebx
  neg    %ebx
  cmp    %ebx,%ebp
  je     L713
  lea    D143(%rip),%r12
  jmp    L435
L646:
  mov    $0x8,%edi
  call   <success_on_line_63@plt>
L297:
  add    $0x1,%ebx
  cmp    %ebx,%ebp
  je     L713
L435:
  mov    %ebx,%ecx
  mov    %r12,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x8,%eax
  je     L646
  mov    %eax,%edi
  call   <failure_on_line_63@plt>
  jmp    L297
L713:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D44(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L61
  mov    $0x0,%edi
  call   <success_on_line_67@plt>
L532:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D137(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L575
  mov    $0x0,%edi
  call   <success_on_line_68@plt>
L769:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D177(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L647
  mov    $0x0,%edi
  call   <success_on_line_69@plt>
L537:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D257(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L586
  mov    $0x0,%edi
  call   <success_on_line_70@plt>
L493:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D25(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L751
  mov    $0x0,%edi
  call   <success_on_line_71@plt>
L783:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D215(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L680
  mov    $0x0,%edi
  call   <success_on_line_73@plt>
L286:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D207(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L720
  mov    $0x0,%edi
  call   <success_on_line_74@plt>
L401:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D363(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L398
  mov    $0x0,%edi
  call   <success_on_line_75@plt>
L46:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D275(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L608
  mov    $0x0,%edi
  call   <success_on_line_76@plt>
L683:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D286(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  test   %eax,%eax
  jne    L480
  mov    $0x0,%edi
  call   <success_on_line_77@plt>
L700:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D139(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L261
  mov    %eax,%edi
  call   <failure_on_line_79@plt>
L592:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D78(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L82
  mov    %eax,%edi
  call   <failure_on_line_80@plt>
L329:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D19(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L542
  mov    %eax,%edi
  call   <failure_on_line_81@plt>
L717:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D90(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L176
  mov    %eax,%edi
  call   <failure_on_line_82@plt>
L525:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D204(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L388
  mov    %eax,%edi
  call   <failure_on_line_83@plt>
L403:
  mov    $0xffffff81,%esi
  mov    $0xffffff80,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x4,%eax
  je     L292
  mov    %eax,%edi
  call   <failure_on_line_85@plt>
L272:
  mov    $0xfffffff6,%esi
  mov    $0xffffff9d,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x3,%eax
  je     L37
  mov    %eax,%edi
  call   <failure_on_line_86@plt>
L269:
  mov    $0xffffffff,%esi
  mov    $0xfffffff7,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x2,%eax
  je     L216
  mov    %eax,%edi
  call   <failure_on_line_87@plt>
L594:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L32
  mov    %eax,%edi
  call   <failure_on_line_88@plt>
L9:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L108
  mov    %eax,%edi
  call   <failure_on_line_89@plt>
L110:
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D312(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L441
  mov    %eax,%edi
  call   <failure_on_line_91@plt>
L103:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D157(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L183
  mov    %eax,%edi
  call   <failure_on_line_92@plt>
L588:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D191(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x2,%eax
  je     L282
  mov    %eax,%edi
  call   <failure_on_line_93@plt>
L233:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D254(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x3,%eax
  je     L753
  mov    %eax,%edi
  call   <failure_on_line_94@plt>
L59:
  mov    $0x409,%esi
  mov    $0x400,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L230
  mov    %eax,%edi
  call   <failure_on_line_96@plt>
L17:
  mov    $0x463,%esi
  mov    $0x40a,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D23(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x2,%eax
  je     L198
  mov    %eax,%edi
  call   <failure_on_line_97@plt>
L214:
  mov    $0x409,%esi
  mov    $0x400,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D234(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x1,%eax
  je     L621
  mov    %eax,%edi
  call   <failure_on_line_98@plt>
L2:
  mov    $0x463,%esi
  mov    $0x40a,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D234(%rip),%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  cmp    $0x2,%eax
  je     L531
  mov    %eax,%edi
  call   <failure_on_line_99@plt>
L653:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L61:
  mov    %eax,%edi
  call   <failure_on_line_67@plt>
  jmp    L532
L575:
  mov    %eax,%edi
  call   <failure_on_line_68@plt>
  jmp    L769
L647:
  mov    %eax,%edi
  call   <failure_on_line_69@plt>
  jmp    L537
L586:
  mov    %eax,%edi
  call   <failure_on_line_70@plt>
  jmp    L493
L751:
  mov    %eax,%edi
  call   <failure_on_line_71@plt>
  jmp    L783
L680:
  mov    %eax,%edi
  call   <failure_on_line_73@plt>
  jmp    L286
L720:
  mov    %eax,%edi
  call   <failure_on_line_74@plt>
  jmp    L401
L398:
  mov    %eax,%edi
  call   <failure_on_line_75@plt>
  jmp    L46
L608:
  mov    %eax,%edi
  call   <failure_on_line_76@plt>
  jmp    L683
L480:
  mov    %eax,%edi
  call   <failure_on_line_77@plt>
  jmp    L700
L261:
  mov    $0x1,%edi
  call   <success_on_line_79@plt>
  jmp    L592
L82:
  mov    $0x1,%edi
  call   <success_on_line_80@plt>
  jmp    L329
L542:
  mov    $0x1,%edi
  call   <success_on_line_81@plt>
  jmp    L717
L176:
  mov    $0x1,%edi
  call   <success_on_line_82@plt>
  jmp    L525
L388:
  mov    $0x1,%edi
  call   <success_on_line_83@plt>
  jmp    L403
L292:
  mov    $0x4,%edi
  call   <success_on_line_85@plt>
  jmp    L272
L37:
  mov    $0x3,%edi
  call   <success_on_line_86@plt>
  jmp    L269
L216:
  mov    $0x2,%edi
  call   <success_on_line_87@plt>
  jmp    L594
L32:
  mov    $0x1,%edi
  call   <success_on_line_88@plt>
  jmp    L9
L108:
  mov    $0x1,%edi
  call   <success_on_line_89@plt>
  jmp    L110
L441:
  mov    $0x1,%edi
  call   <success_on_line_91@plt>
  jmp    L103
L183:
  mov    $0x1,%edi
  call   <success_on_line_92@plt>
  jmp    L588
L282:
  mov    $0x2,%edi
  call   <success_on_line_93@plt>
  jmp    L233
L753:
  mov    $0x3,%edi
  call   <success_on_line_94@plt>
  jmp    L59
L230:
  mov    $0x1,%edi
  call   <success_on_line_96@plt>
  jmp    L17
L198:
  mov    $0x2,%edi
  call   <success_on_line_97@plt>
  jmp    L214
L621:
  mov    $0x1,%edi
  call   <success_on_line_98@plt>
  jmp    L2
L531:
  mov    $0x2,%edi
  call   <success_on_line_99@plt>
  jmp    L653
```

tool_calls: name: extract_symbolic_data
arguments: tag: D332
datatype: string
name: extract_symbolic_data
arguments: tag: D356
datatype: string
name: extract_symbolic_data
arguments: tag: D342
datatype: string
name: extract_symbolic_data
arguments: tag: D306
datatype: string
name: extract_symbolic_data
arguments: tag: D361
datatype: string
name: extract_symbolic_data
arguments: tag: D143
datatype: string
name: extract_symbolic_data
arguments: tag: D44
datatype: string
name: extract_symbolic_data
arguments: tag: D137
datatype: string
name: extract_symbolic_data
arguments: tag: D177
datatype: string
name: extract_symbolic_data
arguments: tag: D257
datatype: string
name: extract_symbolic_data
arguments: tag: D25
datatype: string
name: extract_symbolic_data
arguments: tag: D215
datatype: string
name: extract_symbolic_data
arguments: tag: D207
datatype: string
name: extract_symbolic_data
arguments: tag: D363
datatype: string
name: extract_symbolic_data
arguments: tag: D275
datatype: string
name: extract_symbolic_data
arguments: tag: D286
datatype: string
name: extract_symbolic_data
arguments: tag: D139
datatype: string
name: extract_symbolic_data
arguments: tag: D78
datatype: string
name: extract_symbolic_data
arguments: tag: D19
datatype: string
name: extract_symbolic_data
arguments: tag: D90
datatype: string
name: extract_symbolic_data
arguments: tag: D204
datatype: string
name: extract_symbolic_data
arguments: tag: D23
datatype: string
name: extract_symbolic_data
arguments: tag: D312
datatype: string
name: extract_symbolic_data
arguments: tag: D157
datatype: string
name: extract_symbolic_data
arguments: tag: D191
datatype: string
name: extract_symbolic_data
arguments: tag: D254
datatype: string
name: extract_symbolic_data
arguments: tag: D234
datatype: string

tool: D332: %i

tool: D356: %i%i

tool: D342: %i%i%i

tool: D306: %i %i %i

tool: D361: %hhu.%hhu.%hhu.%hhu

tool: D143: %08x

tool: D44: %.0d

tool: D137: %.0i

tool: D177: %.0o

tool: D257: %.0u

tool: D25: %.0x

tool: D215: %.*d

tool: D207: %.*i

tool: D363: %.*o

tool: D275: %.*u

tool: D286: %.*x

tool: D139: %1.0d

tool: D78: %1.0i

tool: D19: %1.0o

tool: D90: %1.0u

tool: D204: %1.0x

tool: D23: %hhi

tool: D312: %1.0hhi

tool: D157: %1.1hhi

tool: D191: %1.2hhi

tool: D254: %1.3hhi

tool: D234: %hhu

assistant: ```c
void test_arg_int(int i, int n) {
  do {
    int n = __builtin_snprintf(0, 0, "%i", ival(0));
    do {
      extern void failure_on_line_49(int);
      extern void success_on_line_49(int);
      if (n == 1)
        success_on_line_49(n);
      else
        failure_on_line_49(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%i", ival(1));
    do {
      extern void failure_on_line_50(int);
      extern void success_on_line_50(int);
      if (n == 1)
        success_on_line_50(n);
      else
        failure_on_line_50(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%i%i", ival(0), ival(1));
    do {
      extern void failure_on_line_51(int);
      extern void success_on_line_51(int);
      if (n == 2)
        success_on_line_51(n);
      else
        failure_on_line_51(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%i%i%i", ival(0), ival(1), ival(9));
    do {
      extern void failure_on_line_52(int);
      extern void success_on_line_52(int);
      if (n == 3)
        success_on_line_52(n);
      else
        failure_on_line_52(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%i %i %i", ival(0), ival(1), ival(9));
    do {
      extern void failure_on_line_53(int);
      extern void success_on_line_53(int);
      if (n == 5)
        success_on_line_53(n);
      else
        failure_on_line_53(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%i %i %i", ival(0), ival(1), ival(9));
    do {
      extern void failure_on_line_55(int);
      extern void success_on_line_55(int);
      if (n == 5)
        success_on_line_55(n);
      else
        failure_on_line_55(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhu.%hhu.%hhu.%hhu", ival(23), ival(78), ival(216), ival(135));
    do {
      extern void failure_on_line_57(int);
      extern void success_on_line_57(int);
      if (n == 13)
        success_on_line_57(n);
      else
        failure_on_line_57(n);
    } while (0);
  } while (0);
  for (i = 0; i != 9; ++i)
    do {
      int n = __builtin_snprintf(0, 0, "%i", i);
      do {
        extern void failure_on_line_60(int);
        extern void success_on_line_60(int);
        if (n == 1)
          success_on_line_60(n);
        else
          failure_on_line_60(n);
      } while (0);
    } while (0);
  for (i = -n; i != n; ++i)
    do {
      int n = __builtin_snprintf(0, 0, "%08x", i);
      do {
        extern void failure_on_line_63(int);
        extern void success_on_line_63(int);
        if (n == 8)
          success_on_line_63(n);
        else
          failure_on_line_63(n);
      } while (0);
    } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.0d", ival(0));
    do {
      extern void failure_on_line_67(int);
      extern void success_on_line_67(int);
      if (n == 0)
        success_on_line_67(n);
      else
        failure_on_line_67(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.0i", ival(0));
    do {
      extern void failure_on_line_68(int);
      extern void success_on_line_68(int);
      if (n == 0)
        success_on_line_68(n);
      else
        failure_on_line_68(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.0o", ival(0));
    do {
      extern void failure_on_line_69(int);
      extern void success_on_line_69(int);
      if (n == 0)
        success_on_line_69(n);
      else
        failure_on_line_69(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.0u", ival(0));
    do {
      extern void failure_on_line_70(int);
      extern void success_on_line_70(int);
      if (n == 0)
        success_on_line_70(n);
      else
        failure_on_line_70(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.0x", ival(0));
    do {
      extern void failure_on_line_71(int);
      extern void success_on_line_71(int);
      if (n == 0)
        success_on_line_71(n);
      else
        failure_on_line_71(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.*d", 0, ival(0));
    do {
      extern void failure_on_line_73(int);
      extern void success_on_line_73(int);
      if (n == 0)
        success_on_line_73(n);
      else
        failure_on_line_73(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.*i", 0, ival(0));
    do {
      extern void failure_on_line_74(int);
      extern void success_on_line_74(int);
      if (n == 0)
        success_on_line_74(n);
      else
        failure_on_line_74(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.*o", 0, ival(0));
    do {
      extern void failure_on_line_75(int);
      extern void success_on_line_75(int);
      if (n == 0)
        success_on_line_75(n);
      else
        failure_on_line_75(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.*u", 0, ival(0));
    do {
      extern void failure_on_line_76(int);
      extern void success_on_line_76(int);
      if (n == 0)
        success_on_line_76(n);
      else
        failure_on_line_76(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%.*x", 0, ival(0));
    do {
      extern void failure_on_line_77(int);
      extern void success_on_line_77(int);
      if (n == 0)
        success_on_line_77(n);
      else
        failure_on_line_77(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.0d", ival(0));
    do {
      extern void failure_on_line_79(int);
      extern void success_on_line_79(int);
      if (n == 1)
        success_on_line_79(n);
      else
        failure_on_line_79(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.0i", ival(0));
    do {
      extern void failure_on_line_80(int);
      extern void success_on_line_80(int);
      if (n == 1)
        success_on_line_80(n);
      else
        failure_on_line_80(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.0o", ival(0));
    do {
      extern void failure_on_line_81(int);
      extern void success_on_line_81(int);
      if (n == 1)
        success_on_line_81(n);
      else
        failure_on_line_81(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.0u", ival(0));
    do {
      extern void failure_on_line_82(int);
      extern void success_on_line_82(int);
      if (n == 1)
        success_on_line_82(n);
      else
        failure_on_line_82(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.0x", ival(0));
    do {
      extern void failure_on_line_83(int);
      extern void success_on_line_83(int);
      if (n == 1)
        success_on_line_83(n);
      else
        failure_on_line_83(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(-128, -127));
    do {
      extern void failure_on_line_85(int);
      extern void success_on_line_85(int);
      if (n == 4)
        success_on_line_85(n);
      else
        failure_on_line_85(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(-99, -10));
    do {
      extern void failure_on_line_86(int);
      extern void success_on_line_86(int);
      if (n == 3)
        success_on_line_86(n);
      else
        failure_on_line_86(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(-9, -1));
    do {
      extern void failure_on_line_87(int);
      extern void success_on_line_87(int);
      if (n == 2)
        success_on_line_87(n);
      else
        failure_on_line_87(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(0, 9));
    do {
      extern void failure_on_line_88(int);
      extern void success_on_line_88(int);
      if (n == 1)
        success_on_line_88(n);
      else
        failure_on_line_88(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(0, 9));
    do {
      extern void failure_on_line_89(int);
      extern void success_on_line_89(int);
      if (n == 1)
        success_on_line_89(n);
      else
        failure_on_line_89(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.0hhi", int_range(0, 1));
    do {
      extern void failure_on_line_91(int);
      extern void success_on_line_91(int);
      if (n == 1)
        success_on_line_91(n);
      else
        failure_on_line_91(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.1hhi", int_range(0, 9));
    do {
      extern void failure_on_line_92(int);
      extern void success_on_line_92(int);
      if (n == 1)
        success_on_line_92(n);
      else
        failure_on_line_92(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.2hhi", int_range(0, 9));
    do {
      extern void failure_on_line_93(int);
      extern void success_on_line_93(int);
      if (n == 2)
        success_on_line_93(n);
      else
        failure_on_line_93(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%1.3hhi", int_range(0, 9));
    do {
      extern void failure_on_line_94(int);
      extern void success_on_line_94(int);
      if (n == 3)
        success_on_line_94(n);
      else
        failure_on_line_94(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(1024, 1033));
    do {
      extern void failure_on_line_96(int);
      extern void success_on_line_96(int);
      if (n == 1)
        success_on_line_96(n);
      else
        failure_on_line_96(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhi", int_range(1034, 1123));
    do {
      extern void failure_on_line_97(int);
      extern void success_on_line_97(int);
      if (n == 2)
        success_on_line_97(n);
      else
        failure_on_line_97(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhu", int_range(1024, 1033));
    do {
      extern void failure_on_line_98(int);
      extern void success_on_line_98(int);
      if (n == 1)
        success_on_line_98(n);
      else
        failure_on_line_98(n);
    } while (0);
  } while (0);
  do {
    int n = __builtin_snprintf(0, 0, "%hhu", int_range(1034, 1123));
    do {
      extern void failure_on_line_99(int);
      extern void success_on_line_99(int);
      if (n == 2)
        success_on_line_99(n);
      else
        failure_on_line_99(n);
    } while (0);
  } while (0);
}
```