user: Please show me the C implementation that matches the assembly code listed below:

```asm
<multiply>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  lea    -0x4000(%rsp),%r11
L277:
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  cmp    %r11,%rsp
  jne    L277
  sub    $0xe78,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x4e68(%rsp)
  xor    %eax,%eax
  mov    %rsi,%r12
  mov    %rdi,0x8(%rsp)
  call   <strlen@plt>
  mov    %r12,%rdi
  lea    -0x1(%rax),%r13d
  mov    %eax,%r15d
  call   <strlen@plt>
  mov    0x8(%rsp),%r8
  mov    %eax,0x3c(%rsp)
  sub    $0x1,%eax
  test   %r13d,%r13d
  mov    %eax,0x38(%rsp)
  js     L163
  cmp    $0xe,%r13d
  jbe    L12
  mov    %r15d,%edx
  movdqa D22(%rip),%xmm1
  mov    %r8,%rax
  shr    $0x4,%edx
  sub    $0x1,%edx
  shl    $0x4,%rdx
  lea    0x10(%r8,%rdx,1),%rdx
  nopl   (%rax)
L103:
  movdqu (%rax),%xmm0
  add    $0x10,%rax
  paddb  %xmm1,%xmm0
  movups %xmm0,-0x10(%rax)
  cmp    %rdx,%rax
  jne    L103
  mov    %r15d,%eax
  and    $0xfffffff0,%eax
  mov    %eax,%edx
  cmp    %eax,%r15d
  je     L163
L119:
  mov    %r15d,%ecx
  sub    %eax,%ecx
  lea    -0x1(%rcx),%esi
  cmp    $0x6,%esi
  jbe    L384
  movq   D22(%rip),%xmm1
  add    %r8,%rax
  movq   (%rax),%xmm0
  paddb  %xmm1,%xmm0
  movq   %xmm0,(%rax)
  mov    %ecx,%eax
  and    $0xfffffff8,%eax
  add    %eax,%edx
  cmp    %eax,%ecx
  je     L163
L384:
  movslq %edx,%rax
  subb   $0x30,(%r8,%rax,1)
  lea    0x1(%rdx),%eax
  cmp    %eax,%r13d
  jl     L163
  cltq
  subb   $0x30,(%r8,%rax,1)
  lea    0x2(%rdx),%eax
  cmp    %eax,%r13d
  jl     L163
  cltq
  subb   $0x30,(%r8,%rax,1)
  lea    0x3(%rdx),%eax
  cmp    %eax,%r13d
  jl     L163
  cltq
  subb   $0x30,(%r8,%rax,1)
  lea    0x4(%rdx),%eax
  cmp    %eax,%r13d
  jl     L163
  cltq
  subb   $0x30,(%r8,%rax,1)
  lea    0x5(%rdx),%eax
  cmp    %eax,%r13d
  jl     L163
  cltq
  subb   $0x30,(%r8,%rax,1)
  lea    0x6(%rdx),%eax
  cmp    %eax,%r13d
  jl     L163
  cltq
  subb   $0x30,(%r8,%rax,1)
L163:
  mov    0x38(%rsp),%eax
  test   %eax,%eax
  js     L235
  cmpl   $0xe,0x38(%rsp)
  jbe    L82
  mov    0x3c(%rsp),%edx
  movdqa D22(%rip),%xmm1
  mov    %r12,%rax
  shr    $0x4,%edx
  sub    $0x1,%edx
  shl    $0x4,%rdx
  lea    0x10(%r12,%rdx,1),%rdx
  nopl   0x0(%rax)
L271:
  movdqu (%rax),%xmm0
  add    $0x10,%rax
  paddb  %xmm1,%xmm0
  movups %xmm0,-0x10(%rax)
  cmp    %rdx,%rax
  jne    L271
  mov    0x3c(%rsp),%ebx
  mov    %ebx,%eax
  and    $0xfffffff0,%eax
  mov    %eax,%edx
  cmp    %ebx,%eax
  je     L117
L13:
  mov    0x3c(%rsp),%ecx
  sub    %eax,%ecx
  lea    -0x1(%rcx),%esi
  cmp    $0x6,%esi
  jbe    L255
  movq   D22(%rip),%xmm1
  add    %r12,%rax
  movq   (%rax),%xmm0
  paddb  %xmm1,%xmm0
  movq   %xmm0,(%rax)
  mov    %ecx,%eax
  and    $0xfffffff8,%eax
  add    %eax,%edx
  cmp    %ecx,%eax
  je     L117
L255:
  movslq %edx,%rax
  mov    0x38(%rsp),%ebx
  subb   $0x30,(%r12,%rax,1)
  lea    0x1(%rdx),%eax
  cmp    %ebx,%eax
  jg     L117
  cltq
  subb   $0x30,(%r12,%rax,1)
  lea    0x2(%rdx),%eax
  cmp    %ebx,%eax
  jg     L117
  cltq
  subb   $0x30,(%r12,%rax,1)
  lea    0x3(%rdx),%eax
  cmp    %eax,%ebx
  jl     L117
  cltq
  subb   $0x30,(%r12,%rax,1)
  lea    0x4(%rdx),%eax
  cmp    %eax,%ebx
  jl     L117
  cltq
  subb   $0x30,(%r12,%rax,1)
  lea    0x5(%rdx),%eax
  cmp    %eax,%ebx
  jl     L117
  cltq
  subb   $0x30,(%r12,%rax,1)
  lea    0x6(%rdx),%eax
  cmp    %eax,%ebx
  jl     L117
  cltq
  subb   $0x30,(%r12,%rax,1)
L117:
  movslq 0x38(%rsp),%rax
  mov    %r8,0x30(%rsp)
  xor    %ebp,%ebp
  xor    %r14d,%r14d
  movabs $0x6666666666666667,%rbx
  mov    %r15d,0x24(%rsp)
  add    %rax,%r12
  mov    %eax,%eax
  mov    %rax,0x18(%rsp)
  lea    0x2750(%rsp),%rax
  mov    %rax,0x8(%rsp)
  movslq %r15d,%rax
  mov    %r13d,%r15d
  mov    %r12,%r13
  lea    -0x2(%r8,%rax,1),%rax
  mov    %ebp,%r12d
  mov    %rax,0x28(%rsp)
  nopl   0x0(%rax,%rax,1)
L129:
  mov    %r14d,%ebp
  xor    %edx,%edx
  test   %r15d,%r15d
  js     L317
  mov    0x28(%rsp),%r10
  mov    %r15d,%eax
  movsbl 0x0(%r13),%r11d
  movslq %r15d,%rsi
  movslq %r12d,%rdi
  add    0x30(%rsp),%rsi
  add    0x8(%rsp),%rdi
  xor    %edx,%edx
  sub    %rax,%r10
  nopl   0x0(%rax)
L266:
  movsbl (%rsi),%ecx
  sub    $0x1,%rsi
  add    $0x1,%rdi
  imul   %r11d,%ecx
  movslq %ecx,%rcx
  add    %rdx,%rcx
  mov    %rcx,%rax
  imul   %rbx
  mov    %rcx,%rax
  sar    $0x3f,%rax
  sar    $0x2,%rdx
  sub    %rax,%rdx
  lea    (%rdx,%rdx,4),%rax
  add    %rax,%rax
  sub    %rax,%rcx
  mov    %cl,-0x1(%rdi)
  cmp    %r10,%rsi
  jne    L266
  add    0x24(%rsp),%r12d
L317:
  movslq %r12d,%rax
  lea    0x1(%r12),%edi
  xor    %esi,%esi
  sub    $0x1,%r13
  mov    %dl,0x2750(%rsp,%rax,1)
  movslq %edi,%rdi
  lea    0x1(%r14),%rdx
  add    0x8(%rsp),%rdi
  mov    %rdx,0x10(%rsp)
  lea    0x2(%r12,%rbp,1),%r12d
  call   <memset@plt>
  cmp    0x18(%rsp),%r14
  je     L389
  mov    0x10(%rsp),%r14
  jmp    L129
  nopl   0x0(%rax)
L389:
  mov    %r15d,%r13d
  mov    0x24(%rsp),%r15d
L235:
  add    0x38(%rsp),%r13d
  cmp    $0xffffffff,%r13d
  jl     L310
  mov    0x3c(%rsp),%ebp
  lea    0x1(%r13),%r11d
  xor    %edi,%edi
  xor    %r9d,%r9d
  movabs $0x6666666666666667,%rbx
  lea    0x40(%rsp),%r10
  lea    0x0(%rbp,%r15,1),%r8d
  nopl   0x0(%rax,%rax,1)
L182:
  mov    %edi,%r12d
  mov    %r15d,%edx
  xor    %eax,%eax
  xor    %ecx,%ecx
  test   %ebp,%ebp
  jle    L52
  xchg   %ax,%ax
L84:
  cmp    %edi,%edx
  jl     L159
  lea    (%r12,%rcx,1),%esi
  movslq %esi,%rsi
  movsbq 0x2750(%rsp,%rsi,1),%rsi
  add    %rsi,%rax
L159:
  add    $0x1,%edx
  add    %edx,%ecx
  cmp    %edx,%r8d
  jne    L84
  add    %rax,%r9
L52:
  mov    %r9,%rax
  imul   %rbx
  mov    %r9,%rax
  sar    $0x3f,%rax
  sar    $0x2,%rdx
  sub    %rax,%rdx
  lea    (%rdx,%rdx,4),%rax
  add    %rax,%rax
  sub    %rax,%r9
  lea    0x1(%rdi),%rax
  mov    %r9b,(%r10,%rdi,1)
  mov    %rdx,%r9
  cmp    %rdi,%r11
  je     L142
  mov    %rax,%rdi
  jmp    L182
  nopw   0x0(%rax,%rax,1)
L142:
  lea    0x2(%r13),%esi
  lea    D51(%rip),%r8
  movslq %r13d,%r13
  movslq %esi,%rsi
  lea    0x1(%r8),%rcx
  add    %r13,%r10
  mov    %r8,%rax
  mov    %dl,0x40(%rsp,%rsi,1)
  add    %r11,%rcx
  nopw   0x0(%rax,%rax,1)
L233:
  movzbl 0x1(%r10),%ebx
  add    $0x1,%rax
  sub    $0x1,%r10
  lea    0x30(%rbx),%edx
  mov    %dl,-0x1(%rax)
  cmp    %rcx,%rax
  jne    L233
L206:
  movb   $0x0,(%r8,%rsi,1)
  mov    0x4e68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L311
  add    $0x4e78,%rsp
  mov    %r8,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L310:
  lea    D51(%rip),%r8
  xor    %esi,%esi
  jmp    L206
L12:
  xor    %eax,%eax
  xor    %edx,%edx
  jmp    L119
L82:
  xor    %eax,%eax
  xor    %edx,%edx
  jmp    L13
L311:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D22
type_infered: byte[16]

tool: {"D22": [0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0,0xd0]}

assistant: ```c
char *multiply(char a[], char b[]) {
  static char mul[10000];
  char c[10000];
  char temp[10000];
  int la, lb;
  int i, j, k = 0, x = 0, y;
  long int r = 0;
  long sum = 0;
  la = strlen(a) - 1;
  lb = strlen(b) - 1;
  for (i = 0; i <= la; i++) {
    a[i] = a[i] - 48;
  }
  for (i = 0; i <= lb; i++) {
    b[i] = b[i] - 48;
  }
  for (i = lb; i >= 0; i--) {
    r = 0;
    for (j = la; j >= 0; j--) {
      temp[k++] = (b[i] * a[j] + r) % 10;
      r = (b[i] * a[j] + r) / 10;
    }
    temp[k++] = r;
    x++;
    for (y = 0; y < x; y++) {
      temp[k++] = 0;
    }
  }
  k = 0;
  r = 0;
  for (i = 0; i < la + lb + 2; i++) {
    sum = 0;
    y = 0;
    for (j = 1; j <= lb + 1; j++) {
      if (i <= la + j) {
        sum = sum + temp[y + i];
      }
      y += j + la + 1;
    }
    c[k++] = (sum + r) % 10;
    r = (sum + r) / 10;
  }
  c[k] = r;
  j = 0;
  for (i = k - 1; i >= 0; i--) {
    mul[j++] = c[i] + 48;
  }
  mul[j] = '\0';
  return mul;
}
```