user: What is the c source code of the assembly code below?

```asm
<constRS>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x38,%rsp
  movsd  %xmm3,(%rsi)
  movsd  %xmm3,0x28(%rsp)
  movsd  %xmm4,(%rdx)
  movsd  %xmm4,0x20(%rsp)
  movsd  %xmm5,0x18(%rsp)
  movsd  %xmm5,(%rcx)
  cmp    $0x30,%edi
  ja     L14
  mov    %rdx,%rbp
  mov    %edi,%eax
  lea    D32(%rip),%rdx
  mov    %rsi,%rbx
  movslq (%rdx,%rax,4),%rax
  movapd %xmm1,%xmm7
  mov    %rcx,%r12
  movapd %xmm6,%xmm1
  add    %rdx,%rax
  notrack jmp *%rax
  nopl   (%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L185:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0xffffffff,%esi
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L93:
  mov    $0x1,%edi
L456:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x2,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x30(%rsp),%xmm2
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  call   <fct_curve@plt>
  add    $0x20,%rsp
L212:
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L193:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L218:
  mov    $0xffffffff,%esi
L33:
  mov    $0x2,%edi
L386:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x1,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x30(%rsp),%xmm2
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  call   <fct_curve@plt>
  add    $0x20,%rsp
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L250:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L154:
  mov    $0x1,%esi
L279:
  mov    $0x1,%edi
L10:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x2,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x30(%rsp),%xmm2
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  call   <fct_curve@plt>
  add    $0x20,%rsp
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L117:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L278:
  mov    $0x1,%esi
L266:
  mov    $0x2,%edi
L82:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x1,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x30(%rsp),%xmm2
  movsd  0x20(%rsp),%xmm1
  movapd %xmm2,%xmm0
  call   <fct_curve@plt>
  add    $0x20,%rsp
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L193
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L185
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L117
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L250
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L223:
  mov    $0xffffffff,%esi
L439:
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L218
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L172:
  mov    $0xffffffff,%esi
L298:
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L93
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L237:
  mov    $0x1,%esi
L188:
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L278
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
L371:
  mov    $0x1,%esi
L306:
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L154
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm3
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  movapd %xmm3,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    D81(%rip),%rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  movq   %rax,%xmm0
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L154
  cs nopw 0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm3
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  movapd %xmm3,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    D81(%rip),%rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  movq   %rax,%xmm0
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L278
  cs nopw 0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm3
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  movapd %xmm3,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    D81(%rip),%rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0xffffffff,%esi
  push   %rbp
  movq   %rax,%xmm0
  movsd  0x20(%rsp),%xmm1
  jmp    L93
  nopl   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm3
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  movapd %xmm3,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x3,%edi
  mov    $0x2,%eax
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    D81(%rip),%rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  movq   %rax,%xmm0
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L218
  cs nopw 0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L6:
  mov    $0x1,%esi
  mov    $0x2,%edi
L294:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x3,%edi
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L456
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L372:
  mov    $0x1,%esi
  mov    $0x1,%edi
L324:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  mov    $0x3,%edi
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L386
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L448:
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
L230:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x3,%edi
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L10
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x20(%rsp),%xmm1
L415:
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
L280:
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  mov    $0x3,%edi
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L82
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L324
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L294
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L280
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  movsd  D81(%rip),%xmm0
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rbp
  movsd  0x20(%rsp),%xmm1
  jmp    L230
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L371
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L237
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L172
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L223
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
L347:
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L93
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
L422:
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L33
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
L204:
  mov    $0x1,%esi
  mov    $0x2,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L279
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    $0x2,%eax
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
L458:
  mov    $0x1,%esi
  mov    $0x1,%edi
  mov    $0x2,%eax
  call   <fct_curve@plt>
  add    $0x18,%rsp
  mov    %rbx,%r9
  mov    %r15,%r8
  push   %rax
  mov    %r14,%rcx
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %r12
  push   %rbp
  movsd  0x28(%rsp),%xmm7
  movsd  0x20(%rsp),%xmm1
  movapd %xmm7,%xmm0
  jmp    L266
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L230
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L280
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x1,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L294
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  mov    $0x2,%edi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L324
  nopl   0x0(%rax)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L415
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L448
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L372
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L6
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L422
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L458
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L347
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L204
  nopw   0x0(%rax,%rax,1)
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L188
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L439
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0xffffffff,%esi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L306
  nop
  movsd  %xmm2,0x10(%rsp)
  lea    0x18(%rsp),%r15
  lea    0x20(%rsp),%r14
  mov    %rsi,%r9
  movsd  %xmm7,0x8(%rsp)
  lea    0x28(%rsp),%r13
  sub    $0x8,%rsp
  mov    %r15,%r8
  push   $0x1
  mov    %r13,%rdx
  mov    $0x1,%esi
  push   %rcx
  mov    %r14,%rcx
  push   %rbp
  movsd  %xmm6,0x20(%rsp)
  jmp    L298
L14:
  mov    %edi,%esi
  xor    %eax,%eax
  lea    D214(%rip),%rdi
  call   <printf@plt>
  mov    $0x1,%eax
  jmp    L212
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D81
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D214
type_guessed: string

tool: D81: 1.5707963268

tool: D214: Error: RS curve type %d unknown


assistant: ```c
int constRS(int num, double t, double u, double v, double x1, double y1, double t1, double delta, double *pathx, double *pathy, double *patht) {
  int left, right, straight, fwd, bwd;
  int n;
  *pathx = x1;
  *pathy = y1;
  *patht = t1;
  n = 1;
  right = 1;
  left = 2;
  straight = 3;
  fwd = 1;
  bwd = -1;
  switch (num) {
  case 1:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 2:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 3:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 4:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 5:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 6:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 7:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 8:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 9:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 10:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 11:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 12:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 13:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 14:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 15:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 16:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 17:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 18:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 19:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 20:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 21:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 22:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 23:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 24:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 25:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 26:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 27:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 28:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 29:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 30:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 31:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 32:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 33:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 34:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 35:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 36:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 37:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 38:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 39:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(right, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 40:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(left, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 41:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 42:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 43:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 44:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 45:
    n = fct_curve(left, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 46:
    n = fct_curve(right, fwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, fwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 47:
    n = fct_curve(left, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  case 48:
    n = fct_curve(right, bwd, t, &x1, &y1, &t1, delta, pathx, pathy, patht, 1);
    n = fct_curve(straight, bwd, u, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(right, bwd, 1.5707963268, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    n = fct_curve(left, fwd, v, &x1, &y1, &t1, delta, pathx, pathy, patht, n);
    break;
  default:
    printf("Error: RS curve type %d unknown\n", num);
  }
  return n;
}
```