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

```asm
<rndgamma>:
  endbr64
  push   %rbx
  sub    $0x30,%rsp
  movapd %xmm0,%xmm7
  movsd  %xmm0,0x28(%rsp)
  movsd  D94(%rip),%xmm0
  comisd %xmm7,%xmm0
  ja     L48
  movsd  0x28(%rsp),%xmm0
L70:
  subsd  D23(%rip),%xmm0
  movapd %xmm0,%xmm7
  movsd  %xmm0,0x20(%rsp)
  pxor   %xmm0,%xmm0
  ucomisd %xmm7,%xmm0
  ja     L32
  sqrtsd %xmm7,%xmm7
  movapd %xmm7,%xmm0
L74:
  movsd  D23(%rip),%xmm1
  divsd  %xmm0,%xmm1
  movsd  %xmm1,0x10(%rsp)
L37:
  mov    $0x0,%eax
  call   <rndNormal@plt>
  movsd  %xmm0,0x8(%rsp)
  movsd  0x10(%rsp),%xmm3
  mulsd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  addsd  D94(%rip),%xmm0
  pxor   %xmm5,%xmm5
  comisd %xmm0,%xmm5
  jae    L37
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,0x18(%rsp)
  mov    $0x0,%eax
  call   <rndu@plt>
  movsd  D111(%rip),%xmm2
  movsd  0x8(%rsp),%xmm6
  mulsd  %xmm6,%xmm2
  movapd %xmm2,%xmm1
  mulsd  %xmm6,%xmm1
  mulsd  %xmm6,%xmm1
  mulsd  %xmm6,%xmm1
  movsd  D94(%rip),%xmm2
  subsd  %xmm1,%xmm2
  comisd %xmm0,%xmm2
  ja     L24
  call   <log@plt>
  mov    %eax,%ebx
  movsd  0x8(%rsp),%xmm6
  movapd %xmm6,%xmm0
  mulsd  D55(%rip),%xmm0
  mulsd  %xmm6,%xmm0
  movsd  %xmm0,0x8(%rsp)
  movsd  0x18(%rsp),%xmm0
  call   <log@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebx,%xmm1
  movsd  D94(%rip),%xmm0
  subsd  0x18(%rsp),%xmm0
  pxor   %xmm2,%xmm2
  cvtsi2sd %eax,%xmm2
  addsd  %xmm2,%xmm0
  mulsd  0x20(%rsp),%xmm0
  addsd  0x8(%rsp),%xmm0
  comisd %xmm1,%xmm0
  jbe    L37
L24:
  movsd  0x20(%rsp),%xmm7
  mulsd  0x18(%rsp),%xmm7
  movq   %xmm7,%rbx
  movsd  D94(%rip),%xmm0
  comisd 0x28(%rsp),%xmm0
  ja     L16
L59:
  movq   %rbx,%xmm7
  ucomisd D41(%rip),%xmm7
  jp     L13
  cmove  D6(%rip),%rbx
L13:
  movq   %rbx,%xmm0
  add    $0x30,%rsp
  pop    %rbx
  ret
L48:
  addsd  %xmm0,%xmm7
  movapd %xmm7,%xmm0
  jmp    L70
L32:
  movsd  0x20(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L74
L16:
  mov    $0x0,%eax
  call   <rndu@plt>
  movsd  D94(%rip),%xmm1
  divsd  0x28(%rsp),%xmm1
  cvttsd2si %xmm1,%edi
  call   <pow@plt>
  movq   %rbx,%xmm7
  mulsd  %xmm0,%xmm7
  movq   %xmm7,%rbx
  jmp    L59
```

tool_calls: name: extract_symbolic_data
arguments: tag: D94
data_type: f64
name: extract_symbolic_data
arguments: tag: D23
data_type: byte[8]
name: extract_symbolic_data
arguments: tag: D111
data_type: f64
name: extract_symbolic_data
arguments: tag: D55
data_type: f64
name: extract_symbolic_data
arguments: tag: D41
data_type: byte[8]
name: extract_symbolic_data
arguments: tag: D6
data_type: byte[8]

tool: D94: 1

tool: {"D23": [0x55,0x55,0x55,0x55,0x55,0x55,0xd5,0x3f]}

tool: D111: 0.0331

tool: D55: 0.5

tool: {"D41": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: {"D6": [0x59,0xf3,0xf8,0xc2,0x1f,0x6e,0xa5,0x01]}

assistant: ```c
double rndgamma(double a) {
  double a0 = a, c, d, u, v, x, small = 1E-300;
  if (a < 1)
    a++;
  d = a - 1.0 / 3.0;
  c = (1.0 / 3.0) / sqrt(d);
  for (;;) {
    do {
      x = rndNormal();
      v = 1.0 + c * x;
    } while (v <= 0);
    v *= v * v;
    u = rndu();
    if (u < 1 - 0.0331 * x * x * x * x)
      break;
    if (log(u) < 0.5 * x * x + d * (1 - v + log(v)))
      break;
  }
  v *= d;
  if (a0 < 1)
    v *= pow(rndu(), 1 / a0);
  if (v == 0)
    v = small;
  return v;
}
```