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

```asm
<disp>:
  endbr64
  push   %rbx
  mov    %rdi,%rbx
  call   <strlen@plt>
  test   %eax,%eax
  jle    L40
  mov    %eax,%edx
  lea    -0x1(%rax),%eax
  cmp    $0xe,%eax
  jbe    L87
  mov    %edx,%ecx
  pxor   %xmm1,%xmm1
  pxor   %xmm6,%xmm6
  mov    %rbx,%rax
  shr    $0x4,%ecx
  pxor   %xmm4,%xmm4
  sub    $0x1,%ecx
  shl    $0x4,%rcx
  lea    0x10(%rbx,%rcx,1),%rcx
  nopl   0x0(%rax,%rax,1)
L20:
  movdqu (%rax),%xmm0
  movdqa %xmm6,%xmm3
  add    $0x10,%rax
  pcmpgtb %xmm0,%xmm3
  movdqa %xmm0,%xmm2
  punpcklbw %xmm3,%xmm2
  punpckhbw %xmm3,%xmm0
  movdqa %xmm4,%xmm3
  pcmpgtw %xmm2,%xmm3
  movdqa %xmm2,%xmm5
  punpcklwd %xmm3,%xmm5
  punpckhwd %xmm3,%xmm2
  movdqa %xmm0,%xmm3
  paddd  %xmm5,%xmm1
  paddd  %xmm2,%xmm1
  movdqa %xmm4,%xmm2
  pcmpgtw %xmm0,%xmm2
  punpcklwd %xmm2,%xmm3
  punpckhwd %xmm2,%xmm0
  paddd  %xmm3,%xmm1
  paddd  %xmm0,%xmm1
  cmp    %rcx,%rax
  jne    L20
  movdqa %xmm1,%xmm0
  mov    %edx,%ecx
  psrldq $0x8,%xmm0
  and    $0xfffffff0,%ecx
  paddd  %xmm0,%xmm1
  movdqa %xmm1,%xmm0
  psrldq $0x4,%xmm0
  paddd  %xmm0,%xmm1
  movd   %xmm1,%eax
  test   $0xf,%dl
  je     L66
L143:
  movslq %ecx,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x1(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x2(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x3(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x4(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x5(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x6(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x7(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x8(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x9(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xa(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xb(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xc(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xd(%rcx),%esi
  cmp    %esi,%edx
  jle    L66
  movslq %esi,%rsi
  add    $0xe,%ecx
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  cmp    %ecx,%edx
  jle    L66
  movslq %ecx,%rcx
  movsbl (%rbx,%rcx,1),%edx
  add    %edx,%eax
L66:
  pop    %rbx
  ret
L40:
  xor    %eax,%eax
  pop    %rbx
  ret
L87:
  xor    %ecx,%ecx
  xor    %eax,%eax
  jmp    L143
```

assistant: ```c
int disp(void *p) {
  char *s = (char *)p;
  int sum = 0, lim = strlen(s);
  for (int i = 0; i < lim; ++i) {
    sum += s[i];
  }
  return sum;
}
```