user: What is the c source code of the assembly code below?

```asm
<add>:
  endbr64
  push   %r12
  push   %rbp
  mov    %rdi,%rbp
  push   %rbx
  mov    %rsi,%rbx
  call   <reverse@plt>
  mov    %rbx,%rdi
  call   <reverse@plt>
  mov    %rbp,%rdi
  call   <strlen@plt>
  mov    %rbx,%rdi
  mov    %eax,%r12d
  call   <strlen@plt>
  cmp    %eax,%r12d
  mov    %eax,%esi
  mov    %eax,%edx
  cmovge %r12d,%esi
  test   %r12d,%r12d
  jle    L129
  lea    -0x1(%r12),%eax
  cmp    $0xe,%eax
  jbe    L57
  mov    %r12d,%ecx
  movdqa D22(%rip),%xmm1
  mov    %rbp,%rax
  shr    $0x4,%ecx
  sub    $0x1,%ecx
  shl    $0x4,%rcx
  lea    0x10(%rbp,%rcx,1),%rcx
  nopl   (%rax)
L156:
  movdqu (%rax),%xmm0
  add    $0x10,%rax
  paddb  %xmm1,%xmm0
  movups %xmm0,-0x10(%rax)
  cmp    %rcx,%rax
  jne    L156
  mov    %r12d,%eax
  and    $0xfffffff0,%eax
  mov    %eax,%ecx
  cmp    %eax,%r12d
  je     L129
L89:
  mov    %r12d,%edi
  sub    %eax,%edi
  lea    -0x1(%rdi),%r8d
  cmp    $0x6,%r8d
  jbe    L36
  movq   D22(%rip),%xmm1
  add    %rbp,%rax
  movq   (%rax),%xmm0
  paddb  %xmm1,%xmm0
  movq   %xmm0,(%rax)
  mov    %edi,%eax
  and    $0xfffffff8,%eax
  add    %eax,%ecx
  cmp    %eax,%edi
  je     L129
L36:
  movslq %ecx,%rax
  subb   $0x30,0x0(%rbp,%rax,1)
  lea    0x1(%rcx),%eax
  cmp    %eax,%r12d
  jle    L129
  cltq
  subb   $0x30,0x0(%rbp,%rax,1)
  lea    0x2(%rcx),%eax
  cmp    %eax,%r12d
  jle    L129
  cltq
  subb   $0x30,0x0(%rbp,%rax,1)
  lea    0x3(%rcx),%eax
  cmp    %eax,%r12d
  jle    L129
  cltq
  subb   $0x30,0x0(%rbp,%rax,1)
  lea    0x4(%rcx),%eax
  cmp    %eax,%r12d
  jle    L129
  cltq
  subb   $0x30,0x0(%rbp,%rax,1)
  lea    0x5(%rcx),%eax
  cmp    %eax,%r12d
  jle    L129
  cltq
  add    $0x6,%ecx
  subb   $0x30,0x0(%rbp,%rax,1)
  cmp    %ecx,%r12d
  jle    L129
  movslq %ecx,%rcx
  subb   $0x30,0x0(%rbp,%rcx,1)
L129:
  test   %edx,%edx
  jle    L62
  lea    -0x1(%rdx),%eax
  cmp    $0xe,%eax
  jbe    L214
  mov    %edx,%ecx
  movdqa D22(%rip),%xmm1
  mov    %rbx,%rax
  shr    $0x4,%ecx
  sub    $0x1,%ecx
  shl    $0x4,%rcx
  lea    0x10(%rbx,%rcx,1),%rcx
  nopw   0x0(%rax,%rax,1)
L71:
  movdqu (%rax),%xmm0
  add    $0x10,%rax
  paddb  %xmm1,%xmm0
  movups %xmm0,-0x10(%rax)
  cmp    %rax,%rcx
  jne    L71
  mov    %edx,%eax
  and    $0xfffffff0,%eax
  mov    %eax,%ecx
  cmp    %edx,%eax
  je     L62
L29:
  mov    %edx,%edi
  sub    %eax,%edi
  lea    -0x1(%rdi),%r8d
  cmp    $0x6,%r8d
  jbe    L155
  movq   D22(%rip),%xmm1
  add    %rbx,%rax
  movq   (%rax),%xmm0
  paddb  %xmm1,%xmm0
  movq   %xmm0,(%rax)
  mov    %edi,%eax
  and    $0xfffffff8,%eax
  add    %eax,%ecx
  cmp    %edi,%eax
  je     L62
L155:
  movslq %ecx,%rax
  subb   $0x30,(%rbx,%rax,1)
  lea    0x1(%rcx),%eax
  cmp    %eax,%edx
  jle    L62
  cltq
  subb   $0x30,(%rbx,%rax,1)
  lea    0x2(%rcx),%eax
  cmp    %edx,%eax
  jge    L62
  cltq
  subb   $0x30,(%rbx,%rax,1)
  lea    0x3(%rcx),%eax
  cmp    %eax,%edx
  jle    L62
  cltq
  subb   $0x30,(%rbx,%rax,1)
  lea    0x4(%rcx),%eax
  cmp    %eax,%edx
  jle    L62
  cltq
  subb   $0x30,(%rbx,%rax,1)
  lea    0x5(%rcx),%eax
  cmp    %eax,%edx
  jle    L62
  cltq
  add    $0x6,%ecx
  subb   $0x30,(%rbx,%rax,1)
  cmp    %ecx,%edx
  jle    L62
  movslq %ecx,%rcx
  subb   $0x30,(%rbx,%rcx,1)
L62:
  test   %esi,%esi
  jle    L113
  movslq %esi,%rdi
  xor    %ecx,%ecx
  xor    %eax,%eax
  nopl   (%rax)
L37:
  movsbl (%rbx,%rcx,1),%r8d
  movsbl 0x0(%rbp,%rcx,1),%edx
  add    %r8d,%edx
  add    %eax,%edx
  movslq %edx,%rax
  mov    %edx,%r8d
  imul   $0x66666667,%rax,%rax
  sar    $0x1f,%r8d
  sar    $0x22,%rax
  sub    %r8d,%eax
  lea    (%rax,%rax,4),%r8d
  add    %r8d,%r8d
  sub    %r8d,%edx
  add    $0x30,%edx
  mov    %dl,0x0(%rbp,%rcx,1)
  add    $0x1,%rcx
  cmp    %rdi,%rcx
  jne    L37
  test   %eax,%eax
  je     L113
  add    $0x1,%esi
  add    $0x30,%eax
  movslq %esi,%rsi
  mov    %al,0x0(%rbp,%rcx,1)
  movb   $0x0,0x0(%rbp,%rsi,1)
L113:
  pop    %rbx
  mov    %rbp,%rdi
  pop    %rbp
  pop    %r12
  jmp    1060 <reverse@plt>
L214:
  xor    %eax,%eax
  xor    %ecx,%ecx
  jmp    L29
L57:
  xor    %eax,%eax
  xor    %ecx,%ecx
  jmp    L89
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D22
type_guessed: byte[16]

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

assistant: ```c
void add(char *s1, char *s2) {
  reverse(s1);
  reverse(s2);
  int i = 0;
  int l1 = strlen(s1);
  int l2 = strlen(s2);
  int l = (l1 > l2) ? l1 : l2;
  int up = 0;
  for (i = 0; i < l1; ++i) {
    s1[i] = s1[i] - '0';
  }
  for (i = 0; i < l2; ++i) {
    s2[i] = s2[i] - '0';
  }
  for (i = 0; i < l; ++i) {
    int tmp = s1[i] + s2[i] + up;
    s1[i] = tmp % 10 + '0';
    up = tmp / 10;
  }
  if (up != 0) {
    s1[l] = up + '0';
    ++l;
    s1[l] = '\0';
  }
  reverse(s1);
}
```