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

```asm
<of_add_to_multiple_symbols>:
  endbr64
  push   %r15
  mov    %ecx,%eax
  mov    %ecx,%r15d
  push   %r14
  shr    $0x2,%eax
  and    $0x3,%r15d
  push   %r13
  push   %r12
  mov    %rdi,%r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  mov    %ecx,%ebx
  shr    $0x3,%ebx
  mov    %edx,-0xc(%rsp)
  mov    %eax,-0x1c(%rsp)
  mov    %ebx,-0x20(%rsp)
  cmp    $0x7,%edx
  jbe    L283
  lea    (%rbx,%rbx,1),%eax
  lea    -0x1(%rbx),%r13d
  mov    %eax,-0x10(%rsp)
  lea    -0x8(%rdx),%eax
  lea    0x8(,%r13,8),%r14
  shr    $0x3,%eax
  mov    %r13,-0x30(%rsp)
  add    $0x1,%eax
  shl    $0x6,%rax
  add    %rdi,%rax
  mov    %rax,-0x28(%rsp)
  lea    (%rsi,%r14,1),%rax
  mov    %rax,-0x18(%rsp)
L294:
  mov    -0x20(%rsp),%edx
  mov    (%r12),%rcx
  add    $0x40,%r12
  mov    -0x38(%r12),%rsi
  mov    -0x30(%r12),%rdi
  mov    -0x28(%r12),%r8
  mov    -0x20(%r12),%r9
  mov    -0x18(%r12),%r10
  mov    -0x10(%r12),%r11
  mov    -0x8(%r12),%rbx
  test   %edx,%edx
  je     L151
  mov    -0x30(%rsp),%r13
  xor    %eax,%eax
  xchg   %ax,%ax
L140:
  mov    0x0(%rbp,%rax,8),%rdx
  xor    %rdx,(%rcx,%rax,8)
  xor    %rdx,(%rsi,%rax,8)
  xor    %rdx,(%rdi,%rax,8)
  xor    %rdx,(%r8,%rax,8)
  xor    %rdx,(%r9,%rax,8)
  xor    %rdx,(%r10,%rax,8)
  xor    %rdx,(%r11,%rax,8)
  xor    %rdx,(%rbx,%rax,8)
  mov    %rax,%rdx
  add    $0x1,%rax
  cmp    %rdx,%r13
  jne    L140
  mov    %r13,-0x30(%rsp)
  mov    -0x18(%rsp),%rdx
  add    %r14,%rcx
  add    %r14,%rsi
  add    %r14,%rdi
  add    %r14,%r8
  add    %r14,%r9
  add    %r14,%r10
  add    %r14,%r11
  add    %r14,%rbx
L74:
  mov    -0x1c(%rsp),%r13d
  cmp    %r13d,-0x10(%rsp)
  jae    L91
  mov    (%rdx),%eax
  add    $0x4,%rdx
  xor    %eax,(%rcx)
  add    $0x8,%rcx
  mov    -0x4(%rdx),%eax
  xor    %eax,(%rsi)
  add    $0x8,%rsi
  mov    -0x4(%rdx),%eax
  xor    %eax,(%rdi)
  add    $0x8,%rdi
  mov    -0x4(%rdx),%eax
  xor    %eax,(%r8)
  add    $0x8,%r8
  mov    -0x4(%rdx),%eax
  xor    %eax,(%r9)
  add    $0x8,%r9
  mov    -0x4(%rdx),%eax
  xor    %eax,(%r10)
  add    $0x8,%r10
  mov    -0x4(%rdx),%eax
  xor    %eax,(%r11)
  add    $0x8,%r11
  mov    -0x4(%rdx),%eax
  xor    %eax,(%rbx)
  add    $0x8,%rbx
L91:
  test   %r15d,%r15d
  jne    L61
L148:
  cmp    -0x28(%rsp),%r12
  jne    L294
  andl   $0x7,-0xc(%rsp)
L234:
  mov    -0xc(%rsp),%ebx
  cmp    $0x3,%ebx
  jbe    L209
  mov    -0x28(%rsp),%rax
  sub    $0x4,%ebx
  mov    %ebx,-0xc(%rsp)
  mov    (%rax),%rcx
  mov    0x8(%rax),%rsi
  add    $0x20,%rax
  mov    -0x10(%rax),%rdi
  mov    -0x8(%rax),%r8
  mov    %rax,-0x28(%rsp)
  mov    -0x20(%rsp),%eax
  test   %eax,%eax
  je     L189
  mov    %eax,%r9d
  xor    %eax,%eax
  nopl   0x0(%rax)
L70:
  mov    0x0(%rbp,%rax,8),%rdx
  xor    %rdx,(%rcx,%rax,8)
  xor    %rdx,(%rsi,%rax,8)
  xor    %rdx,(%rdi,%rax,8)
  xor    %rdx,(%r8,%rax,8)
  add    $0x1,%rax
  cmp    %r9,%rax
  jne    L70
  shl    $0x3,%rax
  add    %rax,%rcx
  add    %rax,%rsi
  add    %rax,%rdi
  add    %rax,%r8
  add    %rbp,%rax
L259:
  mov    -0x20(%rsp),%ebx
  lea    (%rbx,%rbx,1),%edx
  cmp    -0x1c(%rsp),%edx
  jae    L315
  mov    (%rax),%edx
  add    $0x4,%rax
  xor    %edx,(%rcx)
  add    $0x8,%rcx
  mov    -0x4(%rax),%edx
  xor    %edx,(%rsi)
  add    $0x8,%rsi
  mov    -0x4(%rax),%edx
  xor    %edx,(%rdi)
  add    $0x8,%rdi
  mov    -0x4(%rax),%edx
  xor    %edx,(%r8)
  add    $0x8,%r8
L315:
  test   %r15d,%r15d
  jne    L238
L209:
  mov    -0xc(%rsp),%ebx
  cmp    $0x1,%ebx
  jbe    L231
  mov    -0x28(%rsp),%rax
  sub    $0x2,%ebx
  mov    %ebx,-0xc(%rsp)
  mov    (%rax),%rdx
  mov    0x8(%rax),%rcx
  add    $0x10,%rax
  mov    %rax,-0x28(%rsp)
  mov    -0x20(%rsp),%eax
  test   %eax,%eax
  je     L175
  mov    %eax,%edi
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L168:
  mov    0x0(%rbp,%rax,8),%rsi
  xor    %rsi,(%rdx,%rax,8)
  mov    0x0(%rbp,%rax,8),%rsi
  xor    %rsi,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %rdi,%rax
  jne    L168
  shl    $0x3,%rax
  add    %rax,%rdx
  add    %rax,%rcx
  add    %rbp,%rax
L253:
  mov    -0x20(%rsp),%ebx
  lea    (%rbx,%rbx,1),%esi
  cmp    -0x1c(%rsp),%esi
  jae    L27
  mov    (%rax),%esi
  add    $0x4,%rax
  xor    %esi,(%rdx)
  add    $0x8,%rdx
  mov    -0x4(%rax),%esi
  xor    %esi,(%rcx)
  add    $0x8,%rcx
L27:
  test   %r15d,%r15d
  jne    L69
L231:
  mov    -0xc(%rsp),%eax
  test   %eax,%eax
  je     L161
  mov    -0x28(%rsp),%rax
  mov    (%rax),%rdx
  mov    -0x20(%rsp),%eax
  test   %eax,%eax
  je     L116
  mov    %eax,%esi
  xor    %eax,%eax
  nop
L60:
  mov    0x0(%rbp,%rax,8),%rcx
  xor    %rcx,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rsi,%rax
  jne    L60
  shl    $0x3,%rax
  add    %rax,%rdx
  add    %rax,%rbp
L116:
  mov    -0x20(%rsp),%eax
  add    %eax,%eax
  cmp    -0x1c(%rsp),%eax
  jae    L119
  mov    0x0(%rbp),%eax
  add    $0x4,%rbp
  xor    %eax,(%rdx)
  add    $0x4,%rdx
L119:
  test   %r15d,%r15d
  je     L161
  xor    %eax,%eax
L214:
  movzbl 0x0(%rbp,%rax,1),%ecx
  xor    %cl,(%rdx,%rax,1)
  add    $0x1,%rax
  cmp    %eax,%r15d
  ja     L214
L161:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L61:
  mov    %rbp,-0x8(%rsp)
  mov    -0x30(%rsp),%r13
  xor    %eax,%eax
L240:
  movzbl (%rdx),%ebp
  xor    %bpl,(%rcx,%rax,1)
  add    $0x1,%rdx
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%rsi,%rax,1)
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%rdi,%rax,1)
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%r8,%rax,1)
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%r9,%rax,1)
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%r10,%rax,1)
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%r11,%rax,1)
  movzbl -0x1(%rdx),%ebp
  xor    %bpl,(%rbx,%rax,1)
  add    $0x1,%rax
  cmp    %eax,%r15d
  ja     L240
  mov    %r13,-0x30(%rsp)
  mov    -0x8(%rsp),%rbp
  jmp    L148
  nopw   0x0(%rax,%rax,1)
L151:
  mov    %rbp,%rdx
  jmp    L74
L69:
  xor    %esi,%esi
L150:
  movzbl (%rax,%rsi,1),%edi
  xor    %dil,(%rdx,%rsi,1)
  movzbl (%rax,%rsi,1),%edi
  xor    %dil,(%rcx,%rsi,1)
  add    $0x1,%rsi
  cmp    %esi,%r15d
  ja     L150
  jmp    L231
L238:
  xor    %edx,%edx
L228:
  movzbl (%rax,%rdx,1),%r9d
  xor    %r9b,(%rcx,%rdx,1)
  movzbl (%rax,%rdx,1),%r9d
  xor    %r9b,(%rsi,%rdx,1)
  movzbl (%rax,%rdx,1),%r9d
  xor    %r9b,(%rdi,%rdx,1)
  movzbl (%rax,%rdx,1),%r9d
  xor    %r9b,(%r8,%rdx,1)
  add    $0x1,%rdx
  cmp    %edx,%r15d
  ja     L228
  jmp    L209
L175:
  mov    %rbp,%rax
  jmp    L253
L283:
  mov    %rdi,-0x28(%rsp)
  jmp    L234
L189:
  mov    %rbp,%rax
  jmp    L259
```

assistant: ```c
void of_add_to_multiple_symbols(void **to, const void *from, unsigned int to_size, unsigned int symbol_size) {
  unsigned int i;
  unsigned int symbolSize32;
  unsigned int symbolSize32rem;
  symbolSize32 = symbol_size >> 2;
  symbolSize32rem = symbol_size % 4;
  unsigned int symbolSize64;
  symbolSize64 = symbol_size >> 3;
  unsigned long long *pt1, *pt2, *pt3, *pt4, *pt5, *pt6, *pt7, *pt8, *from_s, from_value;
  while (to_size >= 8) {
    from_s = (unsigned long long *)from;
    pt1 = (unsigned long long *)to[0];
    pt2 = (unsigned long long *)to[1];
    pt3 = (unsigned long long *)to[2];
    pt4 = (unsigned long long *)to[3];
    pt5 = (unsigned long long *)to[4];
    pt6 = (unsigned long long *)to[5];
    pt7 = (unsigned long long *)to[6];
    pt8 = (unsigned long long *)to[7];
    to += 8;
    to_size -= 8;
    for (i = symbolSize64; i > 0; i--) {
      from_value = *from_s;
      *pt1 ^= from_value;
      *pt2 ^= from_value;
      *pt3 ^= from_value;
      *pt4 ^= from_value;
      *pt5 ^= from_value;
      *pt6 ^= from_value;
      *pt7 ^= from_value;
      *pt8 ^= from_value;
      from_s++;
      pt1++;
      pt2++;
      pt3++;
      pt4++;
      pt5++;
      pt6++;
      pt7++;
      pt8++;
    }
    unsigned int *from_s32 = (unsigned int *)from_s;
    from_s32 = (unsigned int *)from_s;
    if ((symbolSize64 << 1) < symbolSize32) {
      (*(unsigned int *)pt1++) ^= *from_s32;
      (*(unsigned int *)pt2++) ^= *from_s32;
      (*(unsigned int *)pt3++) ^= *from_s32;
      (*(unsigned int *)pt4++) ^= *from_s32;
      (*(unsigned int *)pt5++) ^= *from_s32;
      (*(unsigned int *)pt6++) ^= *from_s32;
      (*(unsigned int *)pt7++) ^= *from_s32;
      (*(unsigned int *)pt8++) ^= *from_s32;
      from_s32++;
    }
    if (symbolSize32rem > 0) {
      unsigned char *s8;
      for (i = 0; i < symbolSize32rem; i++) {
        s8 = ((unsigned char *)from_s32 + i);
        (*(unsigned char *)((unsigned char *)pt1 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt2 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt3 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt4 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt5 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt6 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt7 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt8 + i)) ^= *(unsigned char *)s8;
      }
    }
  }
  while (to_size >= 4) {
    unsigned int *from_s32;
    from_s = (unsigned long long *)from;
    pt1 = (unsigned long long *)to[0];
    pt2 = (unsigned long long *)to[1];
    pt3 = (unsigned long long *)to[2];
    pt4 = (unsigned long long *)to[3];
    to += 4;
    to_size -= 4;
    for (i = symbolSize64; i > 0; i--) {
      from_value = *from_s;
      *pt1 ^= from_value;
      *pt2 ^= from_value;
      *pt3 ^= from_value;
      *pt4 ^= from_value;
      from_s++;
      pt1++;
      pt2++;
      pt3++;
      pt4++;
    }
    from_s32 = (unsigned int *)from_s;
    if ((symbolSize64 << 1) < symbolSize32) {
      (*(unsigned int *)pt1++) ^= *from_s32;
      (*(unsigned int *)pt2++) ^= *from_s32;
      (*(unsigned int *)pt3++) ^= *from_s32;
      (*(unsigned int *)pt4++) ^= *from_s32;
      from_s32++;
    }
    if (symbolSize32rem > 0) {
      unsigned char *s8;
      for (i = 0; i < symbolSize32rem; i++) {
        s8 = ((unsigned char *)from_s32 + i);
        (*(unsigned char *)((unsigned char *)pt1 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt2 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt3 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt4 + i)) ^= *(unsigned char *)s8;
      }
    }
  }
  while (to_size >= 2) {
    unsigned int *from_s32;
    from_s = (unsigned long long *)from;
    pt1 = (unsigned long long *)to[0];
    pt2 = (unsigned long long *)to[1];
    to += 2;
    to_size -= 2;
    for (i = symbolSize64; i > 0; i--) {
      *pt1 ^= *from_s;
      *pt2 ^= *from_s;
      from_s++;
      pt1++;
      pt2++;
    }
    from_s32 = (unsigned int *)from_s;
    if ((symbolSize64 << 1) < symbolSize32) {
      (*(unsigned int *)pt1++) ^= *from_s32;
      (*(unsigned int *)pt2++) ^= *from_s32;
      from_s32++;
    }
    if (symbolSize32rem > 0) {
      unsigned char *s8;
      for (i = 0; i < symbolSize32rem; i++) {
        s8 = ((unsigned char *)from_s32 + i);
        (*(unsigned char *)((unsigned char *)pt1 + i)) ^= *(unsigned char *)s8;
        (*(unsigned char *)((unsigned char *)pt2 + i)) ^= *(unsigned char *)s8;
      }
    }
  }
  if (to_size == 0)
    return;
  unsigned long long *t = (unsigned long long *)to[0];
  unsigned long long *f = (unsigned long long *)from;
  for (i = symbolSize64; i > 0; i--) {
    *t ^= *f;
    t++;
    f++;
  }
  unsigned int *t32 = (unsigned int *)t;
  unsigned int *f32 = (unsigned int *)f;
  if ((symbolSize64 << 1) < symbolSize32) {
    *(unsigned int *)t32 ^= *(unsigned int *)f32;
    t32++;
    f32++;
  }
  if (symbolSize32rem > 0) {
    for (i = 0; i < symbolSize32rem; i++) {
      *(unsigned char *)((unsigned char *)t32 + i) ^= *(unsigned char *)((unsigned char *)f32 + i);
    }
  }
}
```