user: Demonstrate the C code that generates the assembly output below:

```asm
<reca>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %edx,-0x34(%rbp)
  mov    %ecx,-0x38(%rbp)
  mov    -0x30(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  movl   $0x0,-0x14(%rbp)
  jmp    L12
L17:
  mov    -0x10(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  add    %edx,%eax
  add    $0x1,%eax
  sar    %eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x4,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x8,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0xc,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x10,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x14,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x18,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x1c,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x20,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x24,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x24,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x28,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x2c,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x2c,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x2c,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x30,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x34,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x34,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x34,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x38,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  add    $0x3c,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x3c,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%rax
  add    $0x3c,%rax
  sar    %edx
  mov    %edx,(%rax)
  mov    -0x34(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,-0x10(%rbp)
  addl   $0x1,-0x14(%rbp)
L12:
  mov    -0x14(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L17
  nop
  nop
  pop    %rbp
  ret
```

assistant: ```c
void reca(uint8_t *s, uint8_t *d, int lx2, int h) {
  uint8_t *dp = d, *sp = s;
  int j;
  for (j = 0; j < h; ++j) {
    dp[0] = (uint32_t)(dp[0] + sp[0] + 1) >> 1;
    dp[1] = (uint32_t)(dp[1] + sp[1] + 1) >> 1;
    dp[2] = (uint32_t)(dp[2] + sp[2] + 1) >> 1;
    dp[3] = (uint32_t)(dp[3] + sp[3] + 1) >> 1;
    dp[4] = (uint32_t)(dp[4] + sp[4] + 1) >> 1;
    dp[5] = (uint32_t)(dp[5] + sp[5] + 1) >> 1;
    dp[6] = (uint32_t)(dp[6] + sp[6] + 1) >> 1;
    dp[7] = (uint32_t)(dp[7] + sp[7] + 1) >> 1;
    dp[8] = (uint32_t)(dp[8] + sp[8] + 1) >> 1;
    dp[9] = (uint32_t)(dp[9] + sp[9] + 1) >> 1;
    dp[10] = (uint32_t)(dp[10] + sp[10] + 1) >> 1;
    dp[11] = (uint32_t)(dp[11] + sp[11] + 1) >> 1;
    dp[12] = (uint32_t)(dp[12] + sp[12] + 1) >> 1;
    dp[13] = (uint32_t)(dp[13] + sp[13] + 1) >> 1;
    dp[14] = (uint32_t)(dp[14] + sp[14] + 1) >> 1;
    dp[15] = (uint32_t)(dp[15] + sp[15] + 1) >> 1;
    sp += lx2;
    dp += lx2;
  }
}
```