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

```asm
<insert_l_be_shifted>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %esi,-0x5c(%rbp)
  mov    %edx,-0x60(%rbp)
  mov    %ecx,-0x64(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x64(%rbp),%eax
  mov    %eax,%edi
  call   <ojp_ntohl@plt>
  mov    %eax,-0x64(%rbp)
  lea    -0x20(%rbp),%rax
  mov    $0x5,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x64(%rbp),%rcx
  lea    -0x30(%rbp),%rax
  mov    $0x4,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  mov    -0x5c(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  mov    %eax,%edi
  call   <get_local_offset@plt>
  mov    %eax,-0x3c(%rbp)
  mov    -0x24(%rbp),%edx
  mov    $0x8,%eax
  sub    -0x3c(%rbp),%eax
  mov    %eax,%ecx
  shl    %cl,%edx
  mov    %edx,%eax
  mov    %eax,-0x10(%rbp)
  movl   $0x3,-0x44(%rbp)
  jmp    L29
L46:
  mov    -0x44(%rbp),%eax
  cltq
  mov    -0x30(%rbp,%rax,4),%edx
  mov    -0x3c(%rbp),%eax
  mov    %edx,%esi
  mov    %eax,%ecx
  sar    %cl,%esi
  mov    -0x44(%rbp),%eax
  sub    $0x1,%eax
  cltq
  mov    -0x30(%rbp,%rax,4),%edx
  mov    $0x8,%eax
  sub    -0x3c(%rbp),%eax
  mov    %eax,%ecx
  shl    %cl,%edx
  mov    %edx,%eax
  or     %eax,%esi
  mov    %esi,%edx
  mov    -0x44(%rbp),%eax
  cltq
  mov    %edx,-0x20(%rbp,%rax,4)
  subl   $0x1,-0x44(%rbp)
L29:
  cmpl   $0x0,-0x44(%rbp)
  jg     L46
  mov    -0x30(%rbp),%edx
  mov    -0x3c(%rbp),%eax
  mov    %eax,%ecx
  sar    %cl,%edx
  mov    %edx,%eax
  mov    %eax,-0x20(%rbp)
  movl   $0x0,-0x40(%rbp)
  mov    -0x5c(%rbp),%eax
  sar    $0x3,%eax
  mov    %eax,-0x38(%rbp)
  mov    $0x7,%eax
  sub    -0x3c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  sar    $0x3,%eax
  add    $0x1,%eax
  mov    %eax,-0x34(%rbp)
  mov    -0x34(%rbp),%edx
  mov    $0x5,%eax
  sub    %edx,%eax
  mov    %eax,-0x44(%rbp)
  jmp    L14
L40:
  mov    -0x38(%rbp),%edx
  mov    -0x40(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x44(%rbp),%eax
  cltq
  mov    -0x20(%rbp,%rax,4),%edx
  mov    -0x38(%rbp),%esi
  mov    -0x40(%rbp),%eax
  add    %esi,%eax
  cltq
  lea    0x0(,%rax,4),%rsi
  mov    -0x58(%rbp),%rax
  add    %rsi,%rax
  or     %ecx,%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x40(%rbp)
  addl   $0x1,-0x44(%rbp)
L14:
  mov    -0x44(%rbp),%eax
  cmp    $0x4,%eax
  jbe    L40
  mov    -0x5c(%rbp),%edx
  mov    -0x60(%rbp),%eax
  add    %edx,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L22
  call   <__stack_chk_fail@plt>
L22:
  leave
  ret
```

assistant: ```c
uint32_t insert_l_be_shifted(uint8_t *bufferOut, uint32_t bitOffset, uint32_t bitSize, uint32_t val) {
  int ii;
  uint32_t jj;
  uint32_t o;
  uint8_t arrayval[sizeof(val)];
  uint8_t result[sizeof(val) + 1];
  uint8_t sl;
  uint32_t bytes;
  val = ojp_ntohl(val);
  memset(result, 0, sizeof(val) + 1);
  memcpy(arrayval, &val, sizeof(val));
  sl = get_local_offset(bitOffset + bitSize);
  result[sizeof(val)] = arrayval[sizeof(val) - 1] << (8 - sl);
  for (ii = sizeof(val) - 1; ii >= 1; --ii) {
    result[ii] = (arrayval[ii] >> sl) | (arrayval[ii - 1] << (8 - sl));
  }
  result[0] = arrayval[0] >> sl;
  jj = 0;
  o = bitOffset >> 3;
  bytes = ((bitSize + (7 - sl)) >> 3) + 1;
  for (ii = sizeof(val) + 1 - bytes; ii < sizeof(val) + 1; ++ii) {
    bufferOut[o + jj] |= result[ii];
    ++jj;
  }
  return bitOffset + bitSize;
}
```