user: Demonstrate the C code that generates the assembly output below:

```asm
<tarai>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %esi,%ebx
  sub    $0x48,%rsp
  mov    %edi,0x30(%rsp)
  mov    %esi,0x10(%rsp)
  mov    %edx,0x14(%rsp)
  cmp    %esi,%edi
  jle    L718
L634:
  mov    0x10(%rsp),%ecx
  mov    0x14(%rsp),%eax
  mov    %ecx,0x18(%rsp)
  mov    0x30(%rsp),%ecx
  sub    $0x1,%eax
  mov    %eax,0x20(%rsp)
  mov    %eax,0x8(%rsp)
  mov    %ecx,0xc(%rsp)
  cmp    %ecx,%eax
  jle    L238
L545:
  mov    0xc(%rsp),%ecx
  mov    0x18(%rsp),%eax
  mov    %ecx,0x28(%rsp)
  mov    0x8(%rsp),%ecx
  sub    $0x1,%eax
  mov    %eax,0x24(%rsp)
  mov    %eax,%ebx
  mov    %ecx,0x4(%rsp)
  cmp    %ecx,%eax
  jle    L122
L552:
  mov    0x28(%rsp),%r14d
  mov    0x4(%rsp),%r15d
  mov    %ebx,%esi
  mov    %r15d,%edx
  lea    -0x1(%r14),%edi
  mov    %r14d,0x1c(%rsp)
  lea    -0x1(%r15),%r12d
  call   <tarai>
  mov    %ebx,%r15d
  mov    %r14d,%ebp
  mov    %eax,0x28(%rsp)
  cmp    %r14d,%r12d
  jle    L115
  nopl   0x0(%rax)
L244:
  mov    %r15d,%r13d
  lea    -0x1(%r15),%edi
  mov    %ebp,%edx
  mov    %r12d,%esi
  call   <tarai>
  mov    %ebp,%r14d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %eax,%r15d
  call   <tarai>
  lea    -0x1(%r12),%edi
  mov    %r13d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebp
  call   <tarai>
  mov    %eax,%r12d
  cmp    %eax,%ebp
  jl     L244
L115:
  lea    -0x1(%rbx),%r12d
  mov    0x4(%rsp),%ebx
  mov    0x1c(%rsp),%r13d
  cmp    %ebx,%r12d
  jle    L82
L169:
  mov    %r13d,%r14d
  lea    -0x1(%r13),%edi
  mov    %ebx,%edx
  mov    %r12d,%esi
  call   <tarai>
  mov    %ebx,%r15d
  lea    -0x1(%rbx),%edi
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %eax,%r13d
  call   <tarai>
  lea    -0x1(%r12),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%ebx
  call   <tarai>
  mov    %eax,%r12d
  cmp    %eax,%ebx
  jl     L169
L82:
  cmp    %ebp,%ebx
  jle    L687
  mov    %ebp,0x4(%rsp)
  jmp    L552
  nopl   0x0(%rax,%rax,1)
L122:
  mov    %ecx,%ebp
L687:
  mov    0xc(%rsp),%eax
  lea    -0x1(%rax),%r12d
  mov    0x18(%rsp),%eax
  mov    %eax,%ebx
  cmp    %r12d,%eax
  jge    L414
  mov    0x8(%rsp),%ecx
  mov    %eax,0x4(%rsp)
  mov    %eax,%r15d
  mov    %ebp,0x28(%rsp)
  mov    %ecx,0x2c(%rsp)
L227:
  mov    0x2c(%rsp),%ebx
  mov    %r15d,%edx
  mov    %r12d,%esi
  lea    -0x1(%r15),%ebp
  mov    %r12d,%r13d
  lea    -0x1(%rbx),%edi
  mov    %ebx,0x1c(%rsp)
  call   <tarai>
  mov    %eax,0x2c(%rsp)
  cmp    %ebp,%ebx
  jge    L277
  nopl   0x0(%rax)
L356:
  mov    %r13d,%r14d
  lea    -0x1(%r13),%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  call   <tarai>
  mov    %ebx,%r15d
  lea    -0x1(%rbx),%edi
  mov    %ebp,%edx
  mov    %r14d,%esi
  mov    %eax,%r13d
  call   <tarai>
  lea    -0x1(%rbp),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%ebx
  call   <tarai>
  mov    %eax,%ebp
  cmp    %eax,%ebx
  jl     L356
L277:
  lea    -0x1(%r12),%r13d
  mov    0x4(%rsp),%r12d
  mov    0x1c(%rsp),%ebp
  cmp    %r12d,%r13d
  jle    L321
L714:
  mov    %ebp,%r14d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %r13d,%esi
  call   <tarai>
  mov    %r12d,%r15d
  lea    -0x1(%r12),%edi
  mov    %r13d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebp
  call   <tarai>
  lea    -0x1(%r13),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%r12d
  call   <tarai>
  mov    %eax,%r13d
  cmp    %eax,%r12d
  jl     L714
L321:
  cmp    %ebx,%r12d
  jle    L567
  mov    %ebx,0x4(%rsp)
  mov    %ebx,%r15d
  jmp    L227
  nopl   (%rax)
L567:
  mov    0x28(%rsp),%ebp
L414:
  mov    0x8(%rsp),%r12d
  mov    0xc(%rsp),%eax
  sub    $0x1,%r12d
  mov    %eax,0x8(%rsp)
  cmp    %r12d,%eax
  jge    L595
  mov    0x18(%rsp),%r14d
  mov    0x24(%rsp),%edi
  mov    %ebx,0x4(%rsp)
  mov    %eax,%r13d
L64:
  mov    %r14d,%ebx
  mov    %r13d,%edx
  mov    %r12d,%esi
  mov    %r13d,%r15d
  call   <tarai>
  lea    -0x1(%r13),%edi
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %eax,%r14d
  call   <tarai>
  lea    -0x1(%r12),%edi
  mov    %ebx,%edx
  mov    %r15d,%esi
  mov    %eax,%r13d
  call   <tarai>
  mov    %eax,%r12d
  cmp    %eax,%r13d
  jge    L304
  lea    -0x1(%r14),%edi
  jmp    L64
  nopl   0x0(%rax)
L304:
  mov    %r13d,0x8(%rsp)
  mov    0x4(%rsp),%ebx
L595:
  cmp    %ebx,0x8(%rsp)
  jle    L548
  mov    %ebp,0x18(%rsp)
  mov    %ebx,0xc(%rsp)
  jmp    L545
  nopl   0x0(%rax)
L548:
  mov    %ebx,0x3c(%rsp)
L680:
  mov    0x10(%rsp),%eax
  mov    0x14(%rsp),%ecx
  sub    $0x1,%eax
  mov    %ecx,0x2c(%rsp)
  mov    %eax,0x18(%rsp)
  mov    %eax,%r13d
  cmp    %ecx,%eax
  jle    L117
  mov    0x30(%rsp),%eax
  mov    %ecx,0x4(%rsp)
  mov    %ecx,%ebp
  mov    %eax,0xc(%rsp)
L381:
  sub    $0x1,%eax
  mov    %r13d,0x24(%rsp)
  mov    %r13d,%r12d
  mov    %eax,0x2c(%rsp)
  mov    %eax,%ebx
  cmp    %r13d,%eax
  jle    L263
L527:
  mov    %ebp,%r14d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %ebx,%esi
  call   <tarai>
  mov    %r12d,%r15d
  lea    -0x1(%r12),%edi
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %eax,%ebp
  call   <tarai>
  lea    -0x1(%rbx),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%r12d
  call   <tarai>
  mov    %eax,%ebx
  cmp    %eax,%r12d
  jl     L527
  mov    %r12d,0x24(%rsp)
L263:
  mov    0x4(%rsp),%eax
  mov    0xc(%rsp),%ecx
  sub    $0x1,%eax
  mov    %ecx,%ebx
  mov    %eax,0x28(%rsp)
  mov    %eax,%ebp
  cmp    %ecx,%eax
  jle    L80
  mov    %r13d,0x38(%rsp)
  mov    %ecx,%r15d
  mov    %ecx,0x8(%rsp)
  mov    %r13d,0x34(%rsp)
L147:
  mov    0x38(%rsp),%ebx
  mov    %r15d,%edx
  mov    %ebp,%esi
  lea    -0x1(%r15),%r13d
  mov    %ebp,%r12d
  lea    -0x1(%rbx),%edi
  mov    %ebx,0x1c(%rsp)
  call   <tarai>
  mov    %eax,0x38(%rsp)
  cmp    %ebx,%r13d
  jle    L653
  nopl   0x0(%rax,%rax,1)
L446:
  mov    %r12d,%r14d
  lea    -0x1(%r12),%edi
  mov    %ebx,%edx
  mov    %r13d,%esi
  call   <tarai>
  mov    %ebx,%r15d
  lea    -0x1(%rbx),%edi
  mov    %r13d,%edx
  mov    %r14d,%esi
  mov    %eax,%r12d
  call   <tarai>
  lea    -0x1(%r13),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%ebx
  call   <tarai>
  mov    %eax,%r13d
  cmp    %eax,%ebx
  jl     L446
L653:
  lea    -0x1(%rbp),%r12d
  mov    0x8(%rsp),%ebp
  mov    0x1c(%rsp),%r13d
  cmp    %ebp,%r12d
  jle    L264
L7:
  mov    %r13d,%r14d
  lea    -0x1(%r13),%edi
  mov    %ebp,%edx
  mov    %r12d,%esi
  call   <tarai>
  mov    %ebp,%r15d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %eax,%r13d
  call   <tarai>
  lea    -0x1(%r12),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%ebp
  call   <tarai>
  mov    %eax,%r12d
  cmp    %eax,%ebp
  jl     L7
L264:
  cmp    %ebx,%ebp
  jle    L654
  mov    %ebx,0x8(%rsp)
  mov    %ebx,%r15d
  jmp    L147
  xchg   %ax,%ax
L654:
  mov    0x34(%rsp),%r13d
L80:
  mov    0x4(%rsp),%eax
  lea    -0x1(%r13),%ebp
  mov    %eax,%r13d
  cmp    %ebp,%eax
  jge    L182
  mov    0x28(%rsp),%r12d
  mov    0x2c(%rsp),%edi
  mov    %ebx,0x1c(%rsp)
  mov    %eax,%edx
  mov    0xc(%rsp),%r15d
L700:
  mov    %ebp,%esi
  mov    %r15d,0x8(%rsp)
  mov    %r12d,%ebx
  mov    %r15d,%r13d
  call   <tarai>
  mov    %ebp,%r12d
  mov    %eax,0xc(%rsp)
  cmp    %r15d,%ebx
  jle    L546
  nopw   0x0(%rax,%rax,1)
L191:
  mov    %r12d,%r14d
  lea    -0x1(%r12),%edi
  mov    %r13d,%edx
  mov    %ebx,%esi
  call   <tarai>
  mov    %r13d,%r15d
  lea    -0x1(%r13),%edi
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %eax,%r12d
  call   <tarai>
  lea    -0x1(%rbx),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%r13d
  call   <tarai>
  mov    %eax,%ebx
  cmp    %eax,%r13d
  jl     L191
L546:
  lea    -0x1(%rbp),%r12d
  mov    0x4(%rsp),%ebp
  mov    0x8(%rsp),%ebx
  cmp    %ebp,%r12d
  jle    L33
L626:
  mov    %ebx,%r14d
  lea    -0x1(%rbx),%edi
  mov    %ebp,%edx
  mov    %r12d,%esi
  call   <tarai>
  mov    %ebp,%r15d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebx
  call   <tarai>
  lea    -0x1(%r12),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%ebp
  call   <tarai>
  mov    %eax,%r12d
  cmp    %eax,%ebp
  jl     L626
L33:
  cmp    %r13d,%ebp
  jle    L129
  mov    0xc(%rsp),%eax
  mov    %r13d,0x4(%rsp)
  lea    -0x1(%r13),%r12d
  mov    %r13d,%edx
  lea    -0x1(%rax),%edi
  mov    %eax,%r15d
  jmp    L700
  nopl   0x0(%rax,%rax,1)
L129:
  mov    0x1c(%rsp),%ebx
L182:
  cmp    %ebx,%r13d
  jle    L678
  mov    0x24(%rsp),%eax
  mov    %ebx,0x4(%rsp)
  mov    %ebx,%ebp
  mov    %eax,0xc(%rsp)
  jmp    L381
  nopl   0x0(%rax)
L678:
  mov    %ebx,0x2c(%rsp)
L117:
  mov    0x30(%rsp),%eax
  mov    0x10(%rsp),%ecx
  sub    $0x1,%eax
  mov    %ecx,0x30(%rsp)
  mov    %eax,%ebp
  cmp    %ecx,%eax
  jle    L482
L642:
  mov    0x20(%rsp),%eax
  mov    %ecx,0xc(%rsp)
  mov    %ebp,%r13d
  mov    %ebp,0x8(%rsp)
  mov    %eax,0x4(%rsp)
  cmp    %eax,%ebp
  jge    L160
  mov    %ebp,0x1c(%rsp)
  mov    %ecx,%eax
L70:
  lea    -0x1(%rax),%ebx
  mov    0x4(%rsp),%eax
  mov    %eax,%r12d
  cmp    %eax,%ebx
  jle    L431
L605:
  mov    %ebp,%r13d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %ebx,%esi
  call   <tarai>
  mov    %r12d,%r14d
  lea    -0x1(%r12),%edi
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %eax,%ebp
  call   <tarai>
  lea    -0x1(%rbx),%edi
  mov    %r13d,%edx
  mov    %r14d,%esi
  mov    %eax,%r12d
  call   <tarai>
  mov    %eax,%ebx
  cmp    %eax,%r12d
  jl     L605
L431:
  mov    0x8(%rsp),%eax
  lea    -0x1(%rax),%ebx
  mov    0xc(%rsp),%eax
  mov    %eax,%ebp
  cmp    %eax,%ebx
  jle    L357
  mov    0x4(%rsp),%r13d
L432:
  mov    %r13d,%r14d
  lea    -0x1(%r13),%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  call   <tarai>
  mov    %ebp,%r15d
  lea    -0x1(%rbp),%edi
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %eax,%r13d
  call   <tarai>
  lea    -0x1(%rbx),%edi
  mov    %r14d,%edx
  mov    %r15d,%esi
  mov    %eax,%ebp
  call   <tarai>
  mov    %eax,%ebx
  cmp    %eax,%ebp
  jl     L432
L357:
  mov    0x4(%rsp),%edi
  mov    0xc(%rsp),%edx
  mov    0x8(%rsp),%esi
  sub    $0x1,%edi
  call   <tarai>
  mov    %eax,0x4(%rsp)
  cmp    %ebp,%eax
  jle    L278
  mov    %r12d,0xc(%rsp)
  mov    %r12d,%eax
  mov    %ebp,0x8(%rsp)
  jmp    L70
  nopl   0x0(%rax)
L278:
  mov    %ebp,%r13d
  mov    0x1c(%rsp),%ebp
L160:
  mov    0x18(%rsp),%ecx
  mov    0x14(%rsp),%eax
  mov    %ecx,%ebx
  mov    %eax,%r12d
  cmp    %eax,%ecx
  jle    L95
  mov    %ebp,0x8(%rsp)
  mov    %r13d,0x24(%rsp)
  mov    %ebp,0x28(%rsp)
  mov    %eax,0x4(%rsp)
  mov    0x4(%rsp),%ecx
  mov    %ebp,%eax
L74:
  lea    -0x1(%rax),%r14d
  mov    %ebx,%ebp
  mov    %r14d,%r12d
  cmp    %ebx,%r14d
  jle    L640
  mov    %r14d,0xc(%rsp)
  mov    %ecx,%r13d
L397:
  mov    %r13d,%r15d
  lea    -0x1(%r13),%edi
  mov    %ebp,%edx
  mov    %r12d,%esi
  call   <tarai>
  mov    %ebp,%r14d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %eax,%r13d
  call   <tarai>
  lea    -0x1(%r12),%edi
  mov    %r15d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebp
  call   <tarai>
  mov    %eax,%r12d
  cmp    %eax,%ebp
  jl     L397
  mov    0xc(%rsp),%r14d
L640:
  mov    0x4(%rsp),%eax
  lea    -0x1(%rax),%r15d
  mov    0x8(%rsp),%eax
  mov    %eax,%r12d
  cmp    %eax,%r15d
  jle    L443
  mov    %ebx,0xc(%rsp)
  mov    %r14d,0x1c(%rsp)
L208:
  mov    %ebx,%r14d
  lea    -0x1(%rbx),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  call   <tarai>
  mov    %r12d,%r13d
  lea    -0x1(%r12),%edi
  mov    %r15d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebx
  call   <tarai>
  lea    -0x1(%r15),%edi
  mov    %r14d,%edx
  mov    %r13d,%esi
  mov    %eax,%r12d
  call   <tarai>
  mov    %eax,%r15d
  cmp    %eax,%r12d
  jl     L208
  mov    0xc(%rsp),%ebx
  mov    0x1c(%rsp),%r14d
L443:
  lea    -0x1(%rbx),%r13d
  mov    0x4(%rsp),%ebx
  cmp    %ebx,%r13d
  jle    L712
  mov    %r12d,0x4(%rsp)
  mov    0x8(%rsp),%r15d
  mov    %r14d,%edi
L119:
  mov    %r15d,%r12d
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %ebx,%r14d
  call   <tarai>
  lea    -0x1(%rbx),%edi
  mov    %r13d,%edx
  mov    %r12d,%esi
  mov    %eax,%r15d
  call   <tarai>
  lea    -0x1(%r13),%edi
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebx
  call   <tarai>
  mov    %eax,%r13d
  cmp    %eax,%ebx
  jge    L335
  lea    -0x1(%r15),%edi
  jmp    L119
  nopl   0x0(%rax,%rax,1)
L335:
  mov    0x4(%rsp),%r12d
L712:
  cmp    %r12d,%ebx
  jle    L195
  mov    %ebp,0x8(%rsp)
  mov    %ebp,%eax
  mov    %r12d,%ecx
  mov    %r12d,0x4(%rsp)
  jmp    L74
  nopl   (%rax)
L195:
  mov    0x24(%rsp),%r13d
  mov    0x28(%rsp),%ebp
L95:
  mov    0x10(%rsp),%eax
  lea    -0x1(%rbp),%ebx
  mov    %eax,%ebp
  cmp    %eax,%ebx
  jle    L525
  mov    %r13d,0xc(%rsp)
  mov    0x20(%rsp),%r14d
  mov    %eax,%ecx
  mov    %r12d,0x1c(%rsp)
L383:
  mov    %r14d,%r15d
  mov    %ebx,%r12d
  cmp    %ebx,%r14d
  jle    L506
  mov    %r14d,0x4(%rsp)
  mov    %ecx,%ebp
L69:
  mov    %ebp,%r13d
  lea    -0x1(%rbp),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  call   <tarai>
  mov    %r12d,%r14d
  lea    -0x1(%r12),%edi
  mov    %r15d,%edx
  mov    %r13d,%esi
  mov    %eax,%ebp
  call   <tarai>
  lea    -0x1(%r15),%edi
  mov    %r13d,%edx
  mov    %r14d,%esi
  mov    %eax,%r12d
  call   <tarai>
  mov    %eax,%r15d
  cmp    %eax,%r12d
  jl     L69
  mov    0x4(%rsp),%r14d
L506:
  mov    0x14(%rsp),%eax
  mov    0x18(%rsp),%r15d
  mov    %eax,%ebp
  cmp    %eax,%r15d
  jle    L469
  mov    %ebx,0x4(%rsp)
  mov    %r12d,0x8(%rsp)
L329:
  mov    %ebx,%r12d
  lea    -0x1(%rbx),%edi
  mov    %ebp,%edx
  mov    %r15d,%esi
  call   <tarai>
  mov    %ebp,%r13d
  lea    -0x1(%rbp),%edi
  mov    %r15d,%edx
  mov    %r12d,%esi
  mov    %eax,%ebx
  call   <tarai>
  lea    -0x1(%r15),%edi
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %eax,%ebp
  call   <tarai>
  mov    %eax,%r15d
  cmp    %eax,%ebp
  jl     L329
  mov    0x4(%rsp),%ebx
  mov    0x8(%rsp),%r12d
L469:
  lea    -0x1(%rbx),%r13d
  mov    0x10(%rsp),%ebx
  cmp    %ebx,%r13d
  jle    L231
  mov    %r12d,0x4(%rsp)
  mov    0x14(%rsp),%r15d
  mov    %r14d,%edi
L252:
  mov    %r15d,%r12d
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %ebx,%r14d
  call   <tarai>
  lea    -0x1(%rbx),%edi
  mov    %r13d,%edx
  mov    %r12d,%esi
  mov    %eax,%r15d
  call   <tarai>
  lea    -0x1(%r13),%edi
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %eax,%ebx
  call   <tarai>
  mov    %eax,%r13d
  cmp    %eax,%ebx
  jge    L652
  lea    -0x1(%r15),%edi
  jmp    L252
L652:
  mov    0x4(%rsp),%r12d
L231:
  cmp    %ebp,%ebx
  jle    L218
  lea    -0x1(%rbp),%eax
  mov    %r12d,0x14(%rsp)
  lea    -0x1(%r12),%r14d
  mov    %ebp,%ecx
  mov    %ebp,0x10(%rsp)
  mov    %eax,0x18(%rsp)
  jmp    L383
  nopl   (%rax)
L218:
  mov    0xc(%rsp),%r13d
  mov    0x1c(%rsp),%r12d
L525:
  cmp    %r12d,%ebp
  jle    L423
  lea    -0x1(%r13),%eax
  mov    %r13d,0x14(%rsp)
  mov    %r12d,%ecx
  mov    %eax,0x20(%rsp)
  lea    -0x1(%r12),%eax
  mov    %r12d,0x10(%rsp)
  mov    %eax,0x18(%rsp)
  jmp    L642
  nopw   0x0(%rax,%rax,1)
L423:
  mov    %r12d,0x30(%rsp)
  mov    %r12d,%ecx
L482:
  mov    0x2c(%rsp),%eax
  cmp    %ecx,%eax
  jge    L188
  mov    0x3c(%rsp),%ecx
  mov    %eax,0x10(%rsp)
  mov    %ecx,0x14(%rsp)
  jmp    L634
L188:
  mov    %eax,%ebx
L718:
  add    $0x48,%rsp
  mov    %ebx,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L238:
  mov    %ecx,0x3c(%rsp)
  jmp    L680
```

assistant: ```c
int tarai(int x, int y, int z) {
  if (x <= y)
    return y;
  return tarai(tarai(x - 1, y, z), tarai(y - 1, z, x), tarai(z - 1, x, y));
}
```