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

```asm
<black76_put>:
  endbr64
  sub    $0x38,%rsp
  ucomisd %xmm1,%xmm1
  movsd  %xmm0,0x18(%rsp)
  movsd  %xmm1,0x20(%rsp)
  movsd  %xmm2,(%rsp)
  movsd  %xmm3,0x28(%rsp)
  movsd  %xmm4,0x8(%rsp)
  jp     L70
  comisd D107(%rip),%xmm1
  jae    L117
L70:
  xor    %edi,%edi
L99:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  (%rsp),%xmm5
  ucomisd %xmm5,%xmm5
  jp     L89
  comisd D92(%rip),%xmm5
  jae    L15
L89:
  xor    %edi,%edi
L21:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x28(%rsp),%xmm4
  ucomisd %xmm4,%xmm4
  jp     L41
  pxor   %xmm3,%xmm3
  xor    %edi,%edi
  comisd %xmm3,%xmm4
  movsd  %xmm3,0x10(%rsp)
  jb     L25
  movsd  D53(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm4,%xmm0
  setae  %dil
L25:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x8(%rsp),%xmm7
  ucomisd %xmm7,%xmm7
  jp     L62
  comisd D89(%rip),%xmm7
  jae    L46
L62:
  xor    %edi,%edi
L132:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x10(%rsp),%xmm3
  movsd  (%rsp),%xmm6
  ucomisd %xmm6,%xmm3
  ja     L72
  sqrtsd %xmm6,%xmm6
  movapd %xmm6,%xmm0
L92:
  movsd  0x8(%rsp),%xmm7
  movsd  0x18(%rsp),%xmm3
  divsd  0x20(%rsp),%xmm3
  mulsd  %xmm0,%xmm7
  movapd %xmm3,%xmm0
  movsd  %xmm7,0x10(%rsp)
  call   <log@plt>
  movsd  (%rsp),%xmm2
  movsd  0x28(%rsp),%xmm6
  movapd %xmm0,%xmm1
  movsd  0x8(%rsp),%xmm0
  xorpd  D104(%rip),%xmm6
  mulsd  %xmm0,%xmm0
  mulsd  D13(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  divsd  0x10(%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  call   <exp@plt>
  movsd  (%rsp),%xmm5
  subsd  0x10(%rsp),%xmm5
  mov    $0x1,%eax
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm5,%xmm0
  xorpd  D104(%rip),%xmm0
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  movsd  0x20(%rsp),%xmm1
  movsd  (%rsp),%xmm5
  cvtsi2sd %eax,%xmm0
  xorpd  D104(%rip),%xmm5
  mov    $0x1,%eax
  mulsd  %xmm0,%xmm1
  movapd %xmm5,%xmm0
  movsd  %xmm1,0x10(%rsp)
  call   <cnd@plt>
  pxor   %xmm2,%xmm2
  movsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm0
  cvtsi2sd %eax,%xmm2
  mulsd  0x18(%rsp),%xmm2
  add    $0x38,%rsp
  subsd  %xmm2,%xmm1
  mulsd  %xmm1,%xmm0
  ret
  xchg   %ax,%ax
L41:
  pxor   %xmm4,%xmm4
  xor    %edi,%edi
  movsd  %xmm4,0x10(%rsp)
  jmp    L25
  nopl   0x0(%rax)
L15:
  movsd  D73(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm5,%xmm0
  setae  %dil
  jmp    L21
  nop
L117:
  movsd  D75(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm1,%xmm0
  setae  %dil
  jmp    L99
  nopw   0x0(%rax,%rax,1)
L46:
  movsd  D63(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm7,%xmm0
  setae  %dil
  jmp    L132
L72:
  movsd  (%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L92
```

tool_calls: name: parse_data
arguments: data_tag: D107
type_guessed: f64[2]
name: parse_data
arguments: data_tag: D92
type_guessed: byte[16]
name: parse_data
arguments: data_tag: D53
type_guessed: f64
name: parse_data
arguments: data_tag: D89
type_guessed: f64[2]
name: parse_data
arguments: data_tag: D104
type_guessed: f32[4]
name: parse_data
arguments: data_tag: D13
type_guessed: f32[2]
name: parse_data
arguments: data_tag: D73
type_guessed: f64
name: parse_data
arguments: data_tag: D75
type_guessed: f64
name: parse_data
arguments: data_tag: D63
type_guessed: f64

tool: {"D107": [1e-6,1000000000000.0]}

tool: {"D92": [0xce,0xd2,0x29,0x9c,0x17,0x96,0x25,0x3f,0x00,0x00,0x00,0x00,0x00,0x00,0x34,0x40]}

tool: D53: 1000

tool: {"D89": [1e-7,100.99999]}

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

tool: {"D13": [0.0,1.75]}

tool: D73: 20

tool: D75: 1000000000000

tool: D63: 100.99999

assistant: ```c
extern double black76_put(double F, double X, double T, double r, double v) {
  double vst, d1;
  assert(((X) == (X)) && (X) >= 0.000001 && (X) <= 1000000000000.0);
  assert(((T) == (T)) && (T) >= (1.0 / (253.0 * 24.0)) && (T) <= (20.0));
  assert(((r) == (r)) && (r) >= 0.0 && (r) <= 1000.0);
  assert(((v) == (v)) && (v) >= 0.0000001 && v <= 100.99999);
  vst = v * sqrt(T);
  d1 = (log(F / X) + (((v) * (v)) / 2) * T) / vst;
  return exp(-r * T) * (X * cnd(-(d1 - vst)) - F * cnd(-d1));
}
```