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

```asm
<idct_block>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %rdi,0x28(%rsp)
  mov    %rsi,0x38(%rsp)
  movq   $0x0,0x30(%rsp)
  jmp    L30
L38:
  mov    D49(%rip),%rbx
L39:
  mov    0x20(%rsp),%rdx
  mov    0x18(%rsp),%rax
  mov    %rbx,(%rdx,%rax,8)
  add    $0x1,%rax
  mov    %rax,0x18(%rsp)
  cmp    $0x8,%rax
  je     L75
L23:
  mov    0x18(%rsp),%r14d
  mov    0x28(%rsp),%r13
  mov    $0x0,%ebp
  pxor   %xmm7,%xmm7
  movsd  %xmm7,(%rsp)
L76:
  mov    $0x0,%ebx
L28:
  mov    %ebp,%edi
  call   <C@plt>
  movsd  %xmm0,0x8(%rsp)
  mov    %ebx,%edi
  call   <C@plt>
  mulsd  0x8(%rsp),%xmm0
  movsd  %xmm0,0x8(%rsp)
  pxor   %xmm0,%xmm0
  cvtsi2sd %r15d,%xmm0
  addsd  %xmm0,%xmm0
  addsd  D93(%rip),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebp,%xmm1
  movapd %xmm0,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  %xmm3,0x10(%rsp)
  mov    $0xffffffff,%edi
  call   <acos@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  0x10(%rsp),%xmm0
  mulsd  D36(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  call   <cos@plt>
  movapd %xmm0,%xmm4
  mulsd  0x8(%rsp),%xmm4
  movsd  %xmm4,0x8(%rsp)
  pxor   %xmm0,%xmm0
  cvtsi2sd %r14d,%xmm0
  addsd  %xmm0,%xmm0
  addsd  D93(%rip),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebx,%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x10(%rsp)
  mov    $0xffffffff,%edi
  call   <acos@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  mulsd  0x10(%rsp),%xmm0
  mulsd  D36(%rip),%xmm0
  cvttsd2si %xmm0,%edi
  call   <cos@plt>
  mulsd  0x8(%rsp),%xmm0
  mulsd  0x0(%r13,%rbx,8),%xmm0
  addsd  (%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  add    $0x1,%rbx
  cmp    $0x8,%rbx
  jne    L28
  add    $0x1,%ebp
  add    $0x40,%r13
  cmp    $0x8,%ebp
  jne    L76
  movsd  (%rsp),%xmm0
  lea    D16(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movsd  (%rsp),%xmm2
  mulsd  D19(%rip),%xmm2
  movq   %xmm2,%rbx
  movapd %xmm2,%xmm0
  lea    D16(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  movq   %rbx,%xmm5
  addsd  D110(%rip),%xmm5
  movq   %xmm5,%rbx
  movapd %xmm5,%xmm0
  lea    D16(%rip),%rdi
  mov    $0x1,%eax
  call   <printf@plt>
  pxor   %xmm0,%xmm0
  movq   %rbx,%xmm6
  comisd %xmm6,%xmm0
  ja     L38
  comisd D8(%rip),%xmm6
  jbe    L39
  mov    D8(%rip),%rbx
  jmp    L39
L75:
  addq   $0x1,0x30(%rsp)
  mov    0x30(%rsp),%rax
  cmp    $0x8,%rax
  je     L87
L30:
  mov    0x30(%rsp),%rax
  mov    %eax,%r15d
  shl    $0x6,%rax
  add    0x38(%rsp),%rax
  mov    %rax,0x20(%rsp)
  movq   $0x0,0x18(%rsp)
  jmp    L23
L87:
  mov    $0xa,%edi
  call   <putchar@plt>
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D49
type: f64
name: extract_symbolic_data
arguments: data_label: D93
type: f64
name: extract_symbolic_data
arguments: data_label: D36
type: byte[8]
name: extract_symbolic_data
arguments: data_label: D16
type: string
name: extract_symbolic_data
arguments: data_label: D19
type: f64
name: extract_symbolic_data
arguments: data_label: D110
type: f64
name: extract_symbolic_data
arguments: data_label: D8
type: byte[16]

tool: D49: 0

tool: D93: 1

tool: {"D36": [0x00,0x00,0x00,0x00,0x00,0x00,0xb0,0x3f]}

tool: D16: %f 

tool: D19: 0.25

tool: D110: 128

tool: {"D8": [0x00,0x00,0x00,0x00,0x00,0xe0,0x6f,0x40,0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
void idct_block(int32_t in[64], uint8_t out[64]) {
  for (uint32_t i = 0; i < 8; i++) {
    for (uint32_t j = 0; j < 8; j++) {
      double sum = 0;
      for (uint32_t k = 0; k < 8; k++) {
        for (uint32_t l = 0; l < 8; l++) {
          sum += C(k) * C(l) * (cos(((2. * i + 1.) * k * acos(-1) / 16))) * (cos(((2. * j + 1.) * l * acos(-1) / 16))) * in[8 * k + l];
        }
      }
      printf("%f ", sum);
      sum *= 0.25;
      printf("%f ", sum);
      sum += 128.;
      printf("%f ", sum);
      if (sum < 0)
        sum = 0;
      if (sum > 255)
        sum = 255;
      out[8 * i + j] = sum;
    }
  }
  printf("\n");
}
```