user: What would the C source look like for the assembly code provided here:

```asm
<test_arg_int>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r13
  push   %r12
  push   %rbx
  sub    $0xb8,%rsp
  mov    %edi,-0xc4(%rbp)
  mov    %esi,-0xc8(%rbp)
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D191(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0xb4(%rbp)
  cmpl   $0x1,-0xb4(%rbp)
  jne    L589
  mov    -0xb4(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_49@plt>
  jmp    L575
L589:
  mov    -0xb4(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_49@plt>
L575:
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D191(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0xb0(%rbp)
  cmpl   $0x1,-0xb0(%rbp)
  jne    L269
  mov    -0xb0(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_50@plt>
  jmp    L621
L269:
  mov    -0xb0(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_50@plt>
L621:
  mov    $0x1,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %ebx,%r8d
  mov    %eax,%ecx
  lea    D302(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0xac(%rbp)
  cmpl   $0x2,-0xac(%rbp)
  jne    L323
  mov    -0xac(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_51@plt>
  jmp    L126
L323:
  mov    -0xac(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_51@plt>
L126:
  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    %r12d,%r9d
  mov    %ebx,%r8d
  mov    %eax,%ecx
  lea    D342(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0xa8(%rbp)
  cmpl   $0x3,-0xa8(%rbp)
  jne    L376
  mov    -0xa8(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_52@plt>
  jmp    L161
L376:
  mov    -0xa8(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_52@plt>
L161:
  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    %r12d,%r9d
  mov    %ebx,%r8d
  mov    %eax,%ecx
  lea    D70(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0xa4(%rbp)
  cmpl   $0x5,-0xa4(%rbp)
  jne    L175
  mov    -0xa4(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_53@plt>
  jmp    L496
L175:
  mov    -0xa4(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_53@plt>
L496:
  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    %r12d,%r9d
  mov    %ebx,%r8d
  mov    %eax,%ecx
  lea    D70(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0xa0(%rbp)
  cmpl   $0x5,-0xa0(%rbp)
  jne    L262
  mov    -0xa0(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_55@plt>
  jmp    L238
L262:
  mov    -0xa0(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_55@plt>
L238:
  mov    $0x87,%edi
  call   <ival@plt>
  mov    %eax,%ebx
  mov    $0xd8,%edi
  call   <ival@plt>
  mov    %eax,%r13d
  mov    $0x4e,%edi
  call   <ival@plt>
  mov    %eax,%r12d
  mov    $0x17,%edi
  call   <ival@plt>
  sub    $0x8,%rsp
  push   %rbx
  mov    %r13d,%r9d
  mov    %r12d,%r8d
  mov    %eax,%ecx
  lea    D164(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  add    $0x10,%rsp
  mov    %eax,-0x9c(%rbp)
  cmpl   $0xd,-0x9c(%rbp)
  jne    L687
  mov    -0x9c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_57@plt>
  jmp    L21
L687:
  mov    -0x9c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_57@plt>
L21:
  movl   $0x0,-0xc4(%rbp)
  jmp    L204
L198:
  mov    -0xc4(%rbp),%eax
  mov    %eax,%ecx
  lea    D191(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x24(%rbp)
  cmpl   $0x1,-0x24(%rbp)
  jne    L543
  mov    -0x24(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_60@plt>
  jmp    L72
L543:
  mov    -0x24(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_60@plt>
L72:
  addl   $0x1,-0xc4(%rbp)
L204:
  cmpl   $0x9,-0xc4(%rbp)
  jne    L198
  mov    -0xc8(%rbp),%eax
  neg    %eax
  mov    %eax,-0xc4(%rbp)
  jmp    L125
L438:
  mov    -0xc4(%rbp),%eax
  mov    %eax,%ecx
  lea    D185(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x28(%rbp)
  cmpl   $0x8,-0x28(%rbp)
  jne    L197
  mov    -0x28(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_63@plt>
  jmp    L315
L197:
  mov    -0x28(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_63@plt>
L315:
  addl   $0x1,-0xc4(%rbp)
L125:
  mov    -0xc4(%rbp),%eax
  cmp    -0xc8(%rbp),%eax
  jne    L438
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D266(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x98(%rbp)
  cmpl   $0x0,-0x98(%rbp)
  jne    L462
  mov    -0x98(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_67@plt>
  jmp    L450
L462:
  mov    -0x98(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_67@plt>
L450:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D246(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x94(%rbp)
  cmpl   $0x0,-0x94(%rbp)
  jne    L98
  mov    -0x94(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_68@plt>
  jmp    L82
L98:
  mov    -0x94(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_68@plt>
L82:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D29(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x90(%rbp)
  cmpl   $0x0,-0x90(%rbp)
  jne    L88
  mov    -0x90(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_69@plt>
  jmp    L183
L88:
  mov    -0x90(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_69@plt>
L183:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D230(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x8c(%rbp)
  cmpl   $0x0,-0x8c(%rbp)
  jne    L94
  mov    -0x8c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_70@plt>
  jmp    L592
L94:
  mov    -0x8c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_70@plt>
L592:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D291(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x88(%rbp)
  cmpl   $0x0,-0x88(%rbp)
  jne    L170
  mov    -0x88(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_71@plt>
  jmp    L206
L170:
  mov    -0x88(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_71@plt>
L206:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D24(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x84(%rbp)
  cmpl   $0x0,-0x84(%rbp)
  jne    L26
  mov    -0x84(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_73@plt>
  jmp    L133
L26:
  mov    -0x84(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_73@plt>
L133:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D278(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x80(%rbp)
  cmpl   $0x0,-0x80(%rbp)
  jne    L610
  mov    -0x80(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_74@plt>
  jmp    L657
L610:
  mov    -0x80(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_74@plt>
L657:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D118(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x7c(%rbp)
  cmpl   $0x0,-0x7c(%rbp)
  jne    L483
  mov    -0x7c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_75@plt>
  jmp    L78
L483:
  mov    -0x7c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_75@plt>
L78:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D221(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x78(%rbp)
  cmpl   $0x0,-0x78(%rbp)
  jne    L345
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_76@plt>
  jmp    L212
L345:
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_76@plt>
L212:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%r8d
  mov    $0x0,%ecx
  lea    D4(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x74(%rbp)
  cmpl   $0x0,-0x74(%rbp)
  jne    L416
  mov    -0x74(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_77@plt>
  jmp    L336
L416:
  mov    -0x74(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_77@plt>
L336:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D150(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x70(%rbp)
  cmpl   $0x1,-0x70(%rbp)
  jne    L402
  mov    -0x70(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_79@plt>
  jmp    L313
L402:
  mov    -0x70(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_79@plt>
L313:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D260(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x6c(%rbp)
  cmpl   $0x1,-0x6c(%rbp)
  jne    L344
  mov    -0x6c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_80@plt>
  jmp    L669
L344:
  mov    -0x6c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_80@plt>
L669:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D310(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x68(%rbp)
  cmpl   $0x1,-0x68(%rbp)
  jne    L663
  mov    -0x68(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_81@plt>
  jmp    L146
L663:
  mov    -0x68(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_81@plt>
L146:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D160(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x64(%rbp)
  cmpl   $0x1,-0x64(%rbp)
  jne    L79
  mov    -0x64(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_82@plt>
  jmp    L419
L79:
  mov    -0x64(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_82@plt>
L419:
  mov    $0x0,%edi
  call   <ival@plt>
  mov    %eax,%ecx
  lea    D112(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x60(%rbp)
  cmpl   $0x1,-0x60(%rbp)
  jne    L519
  mov    -0x60(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_83@plt>
  jmp    L729
L519:
  mov    -0x60(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_83@plt>
L729:
  mov    $0xffffff81,%esi
  mov    $0xffffff80,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x5c(%rbp)
  cmpl   $0x4,-0x5c(%rbp)
  jne    L404
  mov    -0x5c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_85@plt>
  jmp    L200
L404:
  mov    -0x5c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_85@plt>
L200:
  mov    $0xfffffff6,%esi
  mov    $0xffffff9d,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x58(%rbp)
  cmpl   $0x3,-0x58(%rbp)
  jne    L232
  mov    -0x58(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_86@plt>
  jmp    L605
L232:
  mov    -0x58(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_86@plt>
L605:
  mov    $0xffffffff,%esi
  mov    $0xfffffff7,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x54(%rbp)
  cmpl   $0x2,-0x54(%rbp)
  jne    L431
  mov    -0x54(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_87@plt>
  jmp    L356
L431:
  mov    -0x54(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_87@plt>
L356:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x50(%rbp)
  cmpl   $0x1,-0x50(%rbp)
  jne    L510
  mov    -0x50(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_88@plt>
  jmp    L727
L510:
  mov    -0x50(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_88@plt>
L727:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x4c(%rbp)
  cmpl   $0x1,-0x4c(%rbp)
  jne    L679
  mov    -0x4c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_89@plt>
  jmp    L52
L679:
  mov    -0x4c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_89@plt>
L52:
  mov    $0x1,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D120(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x48(%rbp)
  cmpl   $0x1,-0x48(%rbp)
  jne    L655
  mov    -0x48(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_91@plt>
  jmp    L342
L655:
  mov    -0x48(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_91@plt>
L342:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D157(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x44(%rbp)
  cmpl   $0x1,-0x44(%rbp)
  jne    L341
  mov    -0x44(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_92@plt>
  jmp    L4
L341:
  mov    -0x44(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_92@plt>
L4:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D37(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x40(%rbp)
  cmpl   $0x2,-0x40(%rbp)
  jne    L314
  mov    -0x40(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_93@plt>
  jmp    L120
L314:
  mov    -0x40(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_93@plt>
L120:
  mov    $0x9,%esi
  mov    $0x0,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D128(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x3c(%rbp)
  cmpl   $0x3,-0x3c(%rbp)
  jne    L205
  mov    -0x3c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_94@plt>
  jmp    L615
L205:
  mov    -0x3c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_94@plt>
L615:
  mov    $0x409,%esi
  mov    $0x400,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x38(%rbp)
  cmpl   $0x1,-0x38(%rbp)
  jne    L337
  mov    -0x38(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_96@plt>
  jmp    L666
L337:
  mov    -0x38(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_96@plt>
L666:
  mov    $0x463,%esi
  mov    $0x40a,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D357(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x34(%rbp)
  cmpl   $0x2,-0x34(%rbp)
  jne    L645
  mov    -0x34(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_97@plt>
  jmp    L302
L645:
  mov    -0x34(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_97@plt>
L302:
  mov    $0x409,%esi
  mov    $0x400,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D261(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x30(%rbp)
  cmpl   $0x1,-0x30(%rbp)
  jne    L386
  mov    -0x30(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_98@plt>
  jmp    L122
L386:
  mov    -0x30(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_98@plt>
L122:
  mov    $0x463,%esi
  mov    $0x40a,%edi
  call   <int_range@plt>
  mov    %eax,%ecx
  lea    D261(%rip),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <__builtin_snprintf@plt>
  mov    %eax,-0x2c(%rbp)
  cmpl   $0x2,-0x2c(%rbp)
  jne    L447
  mov    -0x2c(%rbp),%eax
  mov    %eax,%edi
  call   <success_on_line_99@plt>
  jmp    L208
L447:
  mov    -0x2c(%rbp),%eax
  mov    %eax,%edi
  call   <failure_on_line_99@plt>
L208:
  nop
  lea    -0x18(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D191
type: string
name: extract_symbolic_data
arguments: data_label: D302
type: string
name: extract_symbolic_data
arguments: data_label: D342
type: string
name: extract_symbolic_data
arguments: data_label: D70
type: string
name: extract_symbolic_data
arguments: data_label: D164
type: string
name: extract_symbolic_data
arguments: data_label: D185
type: string
name: extract_symbolic_data
arguments: data_label: D266
type: string
name: extract_symbolic_data
arguments: data_label: D246
type: string
name: extract_symbolic_data
arguments: data_label: D29
type: string
name: extract_symbolic_data
arguments: data_label: D230
type: string
name: extract_symbolic_data
arguments: data_label: D291
type: string
name: extract_symbolic_data
arguments: data_label: D24
type: string
name: extract_symbolic_data
arguments: data_label: D278
type: string
name: extract_symbolic_data
arguments: data_label: D118
type: string
name: extract_symbolic_data
arguments: data_label: D221
type: string
name: extract_symbolic_data
arguments: data_label: D4
type: string
name: extract_symbolic_data
arguments: data_label: D150
type: string
name: extract_symbolic_data
arguments: data_label: D260
type: string
name: extract_symbolic_data
arguments: data_label: D310
type: string
name: extract_symbolic_data
arguments: data_label: D160
type: string
name: extract_symbolic_data
arguments: data_label: D112
type: string
name: extract_symbolic_data
arguments: data_label: D357
type: string
name: extract_symbolic_data
arguments: data_label: D120
type: string
name: extract_symbolic_data
arguments: data_label: D157
type: string
name: extract_symbolic_data
arguments: data_label: D37
type: string
name: extract_symbolic_data
arguments: data_label: D128
type: string
name: extract_symbolic_data
arguments: data_label: D261
type: string

tool: D191: %i

tool: D302: %i%i

tool: D342: %i%i%i

tool: D70: %i %i %i

tool: D164: %hhu.%hhu.%hhu.%hhu

tool: D185: %08x

tool: D266: %.0d

tool: D246: %.0i

tool: D29: %.0o

tool: D230: %.0u

tool: D291: %.0x

tool: D24: %.*d

tool: D278: %.*i

tool: D118: %.*o

tool: D221: %.*u

tool: D4: %.*x

tool: D150: %1.0d

tool: D260: %1.0i

tool: D310: %1.0o

tool: D160: %1.0u

tool: D112: %1.0x

tool: D357: %hhi

tool: D120: %1.0hhi

tool: D157: %1.1hhi

tool: D37: %1.2hhi

tool: D128: %1.3hhi

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