user: Converte this assembly snippet into its equivalent C code:

```asm
<corth>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %edi,-0x54(%rbp)
  mov    %esi,-0x58(%rbp)
  mov    %edx,-0x5c(%rbp)
  mov    %ecx,-0x60(%rbp)
  mov    %r8,-0x68(%rbp)
  mov    %r9,-0x70(%rbp)
  mov    -0x60(%rbp),%eax
  sub    $0x1,%eax
  mov    %eax,-0x3c(%rbp)
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x38(%rbp)
  mov    -0x3c(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L155
  mov    -0x38(%rbp),%eax
  mov    %eax,-0x48(%rbp)
  jmp    L160
L248:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x50(%rbp)
  jmp    L2
L145:
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D34(%rip),%xmm1
  andpd  %xmm0,%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D34(%rip),%xmm2
  andpd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  addl   $0x1,-0x50(%rbp)
L2:
  mov    -0x50(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L145
  pxor   %xmm0,%xmm0
  ucomisd -0x10(%rbp),%xmm0
  jp     L10
  pxor   %xmm0,%xmm0
  ucomisd -0x10(%rbp),%xmm0
  je     L192
L10:
  mov    -0x48(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x44(%rbp)
  jmp    L84
L16:
  mov    -0x34(%rbp),%eax
  sub    -0x44(%rbp),%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  divsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  divsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x28(%rbp),%xmm1
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  addl   $0x1,-0x44(%rbp)
L84:
  mov    -0x44(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L16
  mov    -0x28(%rbp),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x30(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  mov    $0x2,%eax
  call   <pythag@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x8(%rbp),%xmm0
  jp     L47
  pxor   %xmm0,%xmm0
  ucomisd -0x8(%rbp),%xmm0
  je     L113
L47:
  movsd  -0x8(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x28(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x30(%rbp),%xmm0
  divsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x30(%rbp),%xmm1
  movsd  D9(%rip),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm1
  movsd  D9(%rip),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L188
L113:
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x48(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
L188:
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x4c(%rbp)
  jmp    L123
L36:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x44(%rbp)
  jmp    L28
L116:
  mov    -0x34(%rbp),%eax
  sub    -0x44(%rbp),%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x18(%rbp),%xmm1
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x20(%rbp),%xmm0
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  addl   $0x1,-0x44(%rbp)
L28:
  mov    -0x44(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L116
  movsd  -0x18(%rbp),%xmm0
  divsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  divsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x50(%rbp)
  jmp    L241
L183:
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x18(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x50(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x50(%rbp)
L241:
  mov    -0x50(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L183
  addl   $0x1,-0x4c(%rbp)
L123:
  mov    -0x4c(%rbp),%eax
  cmp    -0x58(%rbp),%eax
  jle    L36
  movl   $0x1,-0x50(%rbp)
  jmp    L238
L31:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x40(%rbp)
  jmp    L24
L182:
  mov    -0x34(%rbp),%eax
  sub    -0x40(%rbp),%eax
  mov    %eax,-0x4c(%rbp)
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  addsd  -0x18(%rbp),%xmm0
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  addsd  -0x20(%rbp),%xmm1
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  addl   $0x1,-0x40(%rbp)
L24:
  mov    -0x40(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L182
  movsd  -0x18(%rbp),%xmm0
  divsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  divsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0x48(%rbp),%eax
  mov    %eax,-0x4c(%rbp)
  jmp    L144
L185:
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x18(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x4c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  mov    -0x50(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x4c(%rbp),%eax
  sub    $0x1,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x4c(%rbp)
L144:
  mov    -0x4c(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L185
  addl   $0x1,-0x50(%rbp)
L238:
  mov    -0x50(%rbp),%eax
  cmp    -0x60(%rbp),%eax
  jle    L31
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x10(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    0x18(%rbp),%rax
  add    %rdx,%rax
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm0
  movq   D38(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x48(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x68(%rbp),%rax
  add    %rdx,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm0
  movq   D38(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  mov    -0x48(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x48(%rbp),%eax
  sub    $0x2,%eax
  imul   -0x54(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  jmp    L101
L192:
  nop
L101:
  addl   $0x1,-0x48(%rbp)
L160:
  mov    -0x48(%rbp),%eax
  cmp    -0x3c(%rbp),%eax
  jle    L248
  jmp    L35
L155:
  nop
L35:
  leave
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D34
type_infered: qword
name: unpack_data
arguments: data_tag: D9
type_infered: f64
name: unpack_data
arguments: data_tag: D38
type_infered: f32[2]

tool: D34: 9223372036854775807

tool: D9: 1

tool: {"D38": [0.0,-0.0]}

assistant: ```c
void corth(int nm, int n, int low, int igh, double *ar, double *ai, double *ortr, double *orti) {
  int i, j, m, ii, jj, la, mp, kp1;
  double f, g, h, fi, fr, scale;
  la = igh - 1;
  kp1 = low + 1;
  if (la < kp1)
    return;
  for (m = kp1; m <= la; m++) {
    h = 0.0;
    ortr[(m)-1] = 0.0;
    orti[(m)-1] = 0.0;
    scale = 0.0;
    for (i = m; i <= igh; i++)
      scale += fabs(ar[(i)-1 + ((m - 1) - 1) * (nm)]) + fabs(ai[(i)-1 + ((m - 1) - 1) * (nm)]);
    if (scale == 0.0)
      continue;
    mp = m + igh;
    for (ii = m; ii <= igh; ii++) {
      i = mp - ii;
      ortr[(i)-1] = ar[(i)-1 + ((m - 1) - 1) * (nm)] / scale;
      orti[(i)-1] = ai[(i)-1 + ((m - 1) - 1) * (nm)] / scale;
      h = h + ortr[(i)-1] * ortr[(i)-1] + orti[(i)-1] * orti[(i)-1];
    }
    g = sqrt(h);
    f = pythag(ortr[(m)-1], orti[(m)-1]);
    if (f != 0.0) {
      h += f * g;
      g /= f;
      ortr[(m)-1] = (1.0 + g) * ortr[(m)-1];
      orti[(m)-1] = (1.0 + g) * orti[(m)-1];
    } else {
      ortr[(m)-1] = g;
      ar[(m)-1 + ((m - 1) - 1) * (nm)] = scale;
    }
    for (j = m; j <= n; j++) {
      fr = 0.0;
      fi = 0.0;
      for (ii = m; ii <= igh; ii++) {
        i = mp - ii;
        fr = fr + ortr[(i)-1] * ar[(i)-1 + ((j)-1) * (nm)] + orti[(i)-1] * ai[(i)-1 + ((j)-1) * (nm)];
        fi = fi + ortr[(i)-1] * ai[(i)-1 + ((j)-1) * (nm)] - orti[(i)-1] * ar[(i)-1 + ((j)-1) * (nm)];
      }
      fr /= h;
      fi /= h;
      for (i = m; i <= igh; i++) {
        ar[(i)-1 + ((j)-1) * (nm)] = ar[(i)-1 + ((j)-1) * (nm)] - fr * ortr[(i)-1] + fi * orti[(i)-1];
        ai[(i)-1 + ((j)-1) * (nm)] = ai[(i)-1 + ((j)-1) * (nm)] - fr * orti[(i)-1] - fi * ortr[(i)-1];
      }
    }
    for (i = 1; i <= igh; i++) {
      fr = 0.0;
      fi = 0.0;
      for (jj = m; jj <= igh; jj++) {
        j = mp - jj;
        fr = fr + ortr[(j)-1] * ar[(i)-1 + ((j)-1) * (nm)] - orti[(j)-1] * ai[(i)-1 + ((j)-1) * (nm)];
        fi = fi + ortr[(j)-1] * ai[(i)-1 + ((j)-1) * (nm)] + orti[(j)-1] * ar[(i)-1 + ((j)-1) * (nm)];
      }
      fr /= h;
      fi /= h;
      for (j = m; j <= igh; j++) {
        ar[(i)-1 + ((j)-1) * (nm)] = ar[(i)-1 + ((j)-1) * (nm)] - fr * ortr[(j)-1] - fi * orti[(j)-1];
        ai[(i)-1 + ((j)-1) * (nm)] = ai[(i)-1 + ((j)-1) * (nm)] + fr * orti[(j)-1] - fi * ortr[(j)-1];
      }
    }
    ortr[(m)-1] = scale * ortr[(m)-1];
    orti[(m)-1] = scale * orti[(m)-1];
    ar[(m)-1 + ((m - 1) - 1) * (nm)] = -g * ar[(m)-1 + ((m - 1) - 1) * (nm)];
    ai[(m)-1 + ((m - 1) - 1) * (nm)] = -g * ai[(m)-1 + ((m - 1) - 1) * (nm)];
  }
}
```