user: What would the C source look like for the assembly code provided here?

```asm
<topsin_series>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,(%rsp)
  mov    %esi,%r15d
  mov    %esi,0x4(%rsp)
  mov    %edx,%ebp
  mov    $0x0,%esi
  call   <mpf_set_ui@plt>
  test   %r15d,%r15d
  jne    L32
L7:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L32:
  mov    $0x0,%ebx
  mov    %ebx,0x8(%rsp)
  mov    %ebx,%edi
  call   <mpf_init@plt>
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   <mpf_init@plt>
  mov    $0x0,%r14d
  mov    %r14d,%edi
  call   <mpf_init@plt>
  mov    $0x0,%eax
  mov    %eax,0xc(%rsp)
  mov    %eax,%edi
  call   <mpf_init@plt>
  mov    %ebx,%edi
  call   <mpf_init@plt>
  mov    $0x0,%r13d
  mov    %r13d,%edi
  call   <mpf_init@plt>
  mov    %ebx,%edi
  call   <mpz_init@plt>
  mov    %ebp,%esi
  mov    %r12d,%edi
  call   <fp_two_pi@plt>
  mov    %r12d,%esi
  mov    %r12d,%edi
  call   <mpf_neg@plt>
  mov    %r12d,%edx
  mov    %r12d,%esi
  mov    0x8(%rsp),%ebx
  mov    %ebx,%edi
  call   <mpf_mul@plt>
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpf_neg@plt>
  mov    $0x1,%esi
  mov    %r14d,%edi
  call   <mpf_set_ui@plt>
  mov    %ebp,%ebp
  pxor   %xmm0,%xmm0
  cvtsi2sd %rbp,%xmm0
  mulsd  D0(%rip),%xmm0
  call   <floor@plt>
  lea    0x20(%rax),%rdx
  mov    %r14d,%esi
  mov    0xc(%rsp),%edi
  call   <mpf_div_2exp@plt>
  mov    $0x0,%ebp
L30:
  lea    0x0(%rbp,%rbp,1),%edx
  mov    %r15d,%esi
  mov    $0x0,%ebx
  mov    %ebx,%edi
  call   <mpz_bin_uiui@plt>
  mov    %ebx,%esi
  mov    %ebx,%edi
  call   <mpf_set_z@plt>
  mov    $0x0,%r12d
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%r13d
  mov    %r13d,%edi
  call   <mpf_mul@plt>
  mov    $0x0,%r14d
  mov    %r14d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  call   <mpf_div@plt>
  mov    %ebx,%edx
  mov    (%rsp),%esi
  mov    %esi,%edi
  call   <mpf_add@plt>
  mov    %ebx,%esi
  mov    %r13d,%edi
  call   <mpf_abs@plt>
  mov    %ebx,%esi
  mov    %r13d,%edi
  call   <mpf_cmp@plt>
  test   %rax,%rax
  js     L34
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %r12d,%edi
  call   <mpf_mul@plt>
  lea    0x6(,%rbp,4),%edx
  add    $0x1,%ebp
  imul   %ebp,%edx
  mov    %r14d,%esi
  mov    %r14d,%edi
  call   <mpf_mul_ui@plt>
  add    $0x2,%r15d
  cmp    $0x789668b3,%ebp
  jne    L30
L34:
  testb  $0x1,0x4(%rsp)
  je     L54
L14:
  mov    $0x0,%ebx
  mov    %ebx,%edi
  call   <mpf_clear@plt>
  mov    $0x0,%r12d
  mov    %r12d,%edi
  call   <mpf_clear@plt>
  mov    $0x0,%r14d
  mov    %r14d,%edi
  call   <mpf_clear@plt>
  mov    %ebx,%edi
  call   <mpf_clear@plt>
  mov    %ebx,%edi
  call   <mpf_clear@plt>
  mov    $0x0,%r13d
  mov    %r13d,%edi
  call   <mpf_clear@plt>
  mov    %ebx,%edi
  call   <mpz_clear@plt>
  jmp    L7
L54:
  mov    (%rsp),%edi
  mov    %edi,%esi
  call   <mpf_neg@plt>
  jmp    L14
```

tool_calls: name: unpack_data
arguments: tag: D0
type_guessed: f64

tool: D0: 3.321

assistant: ```c
void topsin_series(mpf_t a_k, unsigned int k, unsigned int prec) {
  unsigned int n;
  mpf_t fourpi, numer, fact, low_bound, term, xterm;
  mpz_t bino;
  mpf_set_ui(a_k, 0);
  if (0 == k)
    return;
  mpf_init(fourpi);
  mpf_init(numer);
  mpf_init(fact);
  mpf_init(low_bound);
  mpf_init(term);
  mpf_init(xterm);
  mpz_init(bino);
  fp_two_pi(numer, prec);
  mpf_neg(numer, numer);
  mpf_mul(fourpi, numer, numer);
  mpf_neg(fourpi, fourpi);
  mpf_set_ui(fact, 1);
  long nbits = (long)floor(3.321 * prec);
  mpf_div_2exp(low_bound, fact, nbits + 32);
  for (n = 0; n < 2023123123; n++) {
    mpz_bin_uiui(bino, 2 * n + k, 2 * n);
    mpf_set_z(term, bino);
    mpf_mul(xterm, term, numer);
    mpf_div(term, xterm, fact);
    mpf_add(a_k, a_k, term);
    mpf_abs(xterm, term);
    if (mpf_cmp(xterm, low_bound) < 0)
      break;
    mpf_mul(numer, numer, fourpi);
    mpf_mul_ui(fact, fact, (2 * n + 3) * 2 * (n + 1));
  }
  if (k % 2 == 0)
    mpf_neg(a_k, a_k);
  mpf_clear(fourpi);
  mpf_clear(numer);
  mpf_clear(fact);
  mpf_clear(low_bound);
  mpf_clear(term);
  mpf_clear(xterm);
  mpz_clear(bino);
}
```