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

```asm
<hashVal>:
  endbr64
  push   %rbp
  mov    %esi,%ebp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x8,%rsp
  call   <strlen@plt>
  test   %eax,%eax
  jle    L99
  mov    %eax,%edx
  lea    -0x1(%rax),%eax
  cmp    $0xe,%eax
  jbe    L42
  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
  nopw   0x0(%rax,%rax,1)
L16:
  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    L16
  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     L129
L121:
  movslq %ecx,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x1(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x2(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x3(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x4(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x5(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x6(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x7(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x8(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0x9(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xa(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xb(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xc(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  lea    0xd(%rcx),%esi
  cmp    %esi,%edx
  jle    L129
  movslq %esi,%rsi
  add    $0xe,%ecx
  movsbl (%rbx,%rsi,1),%esi
  add    %esi,%eax
  cmp    %ecx,%edx
  jle    L129
  movslq %ecx,%rcx
  movsbl (%rbx,%rcx,1),%edx
  add    %edx,%eax
L129:
  cltd
  idiv   %ebp
  mov    %edx,%eax
  neg    %eax
  cmovs  %edx,%eax
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  ret
  nopw   0x0(%rax,%rax,1)
L99:
  add    $0x8,%rsp
  xor    %eax,%eax
  pop    %rbx
  pop    %rbp
  ret
L42:
  xor    %ecx,%ecx
  xor    %eax,%eax
  jmp    L121
```

assistant: ```c
int hashVal(char *string, int size) {
  int total = 0;
  int loop = strlen(string);
  int hash;
  for (int i = 0; i < loop; i++)
    total += string[i];
  hash = total % size;
  return abs(hash);
}
```