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

```asm
<imReduceHalfBox4Normal>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x10,%rsp
  mov    %rdi,%r12
  mov    %rsi,%rbx
  movslq %edx,%r14
  movslq %ecx,%r13
  add    %ecx,%edx
  movslq %edx,%rbp
  movzbl (%rsi,%r14,1),%eax
  movzbl (%rsi),%edx
  add    %edx,%eax
  movzbl (%rsi,%r13,1),%edx
  add    %edx,%eax
  movzbl (%rsi,%rbp,1),%edx
  add    %edx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movss  D25(%rip),%xmm2
  mulss  %xmm2,%xmm0
  movss  D37(%rip),%xmm1
  subss  %xmm1,%xmm0
  movaps %xmm0,%xmm5
  addss  %xmm0,%xmm5
  movss  %xmm5,0x4(%rsp)
  movzbl 0x1(%rsi,%r14,1),%eax
  movzbl 0x1(%rsi),%edx
  add    %edx,%eax
  movzbl 0x1(%rsi,%r13,1),%edx
  add    %edx,%eax
  movzbl 0x1(%rsi,%rbp,1),%edx
  add    %edx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  %xmm2,%xmm0
  subss  %xmm1,%xmm0
  movaps %xmm0,%xmm6
  addss  %xmm0,%xmm6
  movss  %xmm6,0x8(%rsp)
  movzbl 0x2(%rsi,%r14,1),%eax
  movzbl 0x2(%rsi),%edx
  add    %edx,%eax
  movzbl 0x2(%rsi,%r13,1),%edx
  add    %edx,%eax
  movzbl 0x2(%rsi,%rbp,1),%edx
  add    %edx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  %xmm2,%xmm0
  subss  %xmm1,%xmm0
  movaps %xmm0,%xmm7
  addss  %xmm0,%xmm7
  movss  %xmm7,0xc(%rsp)
  movaps %xmm5,%xmm0
  mulss  %xmm5,%xmm0
  movaps %xmm6,%xmm1
  mulss  %xmm6,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm7,%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  ucomiss %xmm0,%xmm1
  ja     L5
  sqrtss %xmm0,%xmm0
L11:
  movss  D37(%rip),%xmm3
  movaps %xmm3,%xmm4
  divss  %xmm0,%xmm4
  movss  0x4(%rsp),%xmm2
  mulss  %xmm4,%xmm2
  movss  0x8(%rsp),%xmm1
  mulss  %xmm4,%xmm1
  movss  0xc(%rsp),%xmm0
  mulss  %xmm4,%xmm0
  addss  %xmm3,%xmm2
  movss  D35(%rip),%xmm4
  mulss  %xmm4,%xmm2
  addss  %xmm3,%xmm2
  cvttss2si %xmm2,%eax
  mov    %al,(%r12)
  addss  %xmm3,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm3,%xmm1
  cvttss2si %xmm1,%eax
  mov    %al,0x1(%r12)
  addss  %xmm3,%xmm0
  mulss  %xmm4,%xmm0
  addss  %xmm3,%xmm0
  cvttss2si %xmm0,%eax
  mov    %al,0x2(%r12)
  movzbl 0x3(%rbx,%r14,1),%eax
  movzbl 0x3(%rbx),%edx
  add    %edx,%eax
  movzbl 0x3(%rbx,%r13,1),%edx
  add    %edx,%eax
  movzbl 0x3(%rbx,%rbp,1),%edx
  lea    0x2(%rax,%rdx,1),%eax
  sar    $0x2,%eax
  mov    %al,0x3(%r12)
  add    $0x10,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L5:
  call   <sqrtf@plt>
  jmp    L11
```

tool_calls: name: disassemble_data
arguments: data_label: D25
type: byte[4]
name: disassemble_data
arguments: data_label: D37
type: byte[4]
name: disassemble_data
arguments: data_label: D35
type: byte[4]

tool: {"D25": [0x81,0x80,0x80,0x3a]}

tool: {"D37": [0x00,0x00,0x00,0x3f]}

tool: {"D35": [0x00,0x00,0x7f,0x43]}

assistant: ```c
__attribute__((always_)) void imReduceHalfBox4Normal(unsigned char *dst, unsigned char *src, int bytesperpixel, int bytesperline, float *dithersum) {
  float v0, v1, v2, suminv;
  v0 = (1.0f / 1020.0f) * (float)((int)src[0] + (int)src[bytesperpixel + 0] + (int)src[bytesperline + 0] + (int)src[bytesperpixel + bytesperline + 0]);
  v1 = (1.0f / 1020.0f) * (float)((int)src[1] + (int)src[bytesperpixel + 1] + (int)src[bytesperline + 1] + (int)src[bytesperpixel + bytesperline + 1]);
  v2 = (1.0f / 1020.0f) * (float)((int)src[2] + (int)src[bytesperpixel + 2] + (int)src[bytesperline + 2] + (int)src[bytesperpixel + bytesperline + 2]);
  v0 = 2.0f * (v0 - 0.5f);
  v1 = 2.0f * (v1 - 0.5f);
  v2 = 2.0f * (v2 - 0.5f);
  suminv = 0.5f / sqrtf((v0 * v0) + (v1 * v1) + (v2 * v2));
  v0 = 0.5f + (v0 * suminv);
  v1 = 0.5f + (v1 * suminv);
  v2 = 0.5f + (v2 * suminv);
  dst[0] = (unsigned char)((int)((255.0f * v0) + 0.5f));
  dst[1] = (unsigned char)((int)((255.0f * v1) + 0.5f));
  dst[2] = (unsigned char)((int)((255.0f * v2) + 0.5f));
  dst[3] = (unsigned char)(((int)src[3] + (int)src[bytesperpixel + 3] + (int)src[bytesperline + 3] + (int)src[bytesperpixel + bytesperline + 3] + 2) >> 2);
  return;
}
```