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

```asm
<rec4c>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %edx,-0x44(%rbp)
  mov    %ecx,-0x48(%rbp)
  mov    %r8d,-0x4c(%rbp)
  mov    -0x38(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x44(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x40(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  movl   $0x0,-0x2c(%rbp)
  jmp    L0
L13:
  mov    -0x10(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x8(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x10(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %eax,%edx
  mov    -0x1c(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x1,%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x2,%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %eax,%edx
  mov    -0x1c(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x3,%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x4,%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x28(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %eax,%edx
  mov    -0x1c(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x5,%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x7,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x20(%rbp),%edx
  mov    -0x28(%rbp),%eax
  add    %eax,%edx
  mov    -0x24(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x7,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x1c(%rbp),%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x6,%rax
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x20(%rbp),%eax
  add    %eax,%edx
  mov    -0x1c(%rbp),%eax
  add    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %edx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%edx
  mov    -0x18(%rbp),%rax
  add    $0x7,%rax
  mov    %dl,(%rax)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x18(%rbp)
  addl   $0x1,-0x2c(%rbp)
L0:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L13
  nop
  nop
  pop    %rbp
  ret
```

assistant: ```c
void rec4c(unsigned char *s, unsigned char *d, int lx, int lx2, int h) {
  unsigned char *dp, *sp, *sp2;
  unsigned int s1, s2, s3, s4;
  int j;
  sp = s;
  sp2 = s + lx;
  dp = d;
  for (j = 0; j < h; j++) {
    s1 = sp[0];
    s3 = sp2[0];
    dp[0] = (unsigned int)(s1 + (s2 = sp[1]) + s3 + (s4 = sp2[1]) + 2) >> 2;
    dp[1] = (unsigned int)(s2 + (s1 = sp[2]) + s4 + (s3 = sp2[2]) + 2) >> 2;
    dp[2] = (unsigned int)(s1 + (s2 = sp[3]) + s3 + (s4 = sp2[3]) + 2) >> 2;
    dp[3] = (unsigned int)(s2 + (s1 = sp[4]) + s4 + (s3 = sp2[4]) + 2) >> 2;
    dp[4] = (unsigned int)(s1 + (s2 = sp[5]) + s3 + (s4 = sp2[5]) + 2) >> 2;
    dp[5] = (unsigned int)(s2 + (s1 = sp[6]) + s4 + (s3 = sp2[6]) + 2) >> 2;
    dp[6] = (unsigned int)(s1 + (s2 = sp[7]) + s3 + (s4 = sp2[7]) + 2) >> 2;
    dp[7] = (unsigned int)(s2 + sp[8] + s4 + sp2[8] + 2) >> 2;
    sp += lx2;
    sp2 += lx2;
    dp += lx2;
  }
}
```