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

```asm
<RandomFunc>:
  endbr64
  mov    %rsi,%rdx
  mov    (%rdi),%rax
  add    $0x3686696a,%rax
  mov    %rax,%rsi
  xor    $0xffffffffce5d000b,%rsi
  test   $0x1,%al
  jne    L27
  test   $0x2,%sil
  je     L4
  test   $0x8,%sil
  je     L73
  mov    %rsi,%rcx
  shl    $0x30,%rcx
  movabs $0xffffffffffff,%rax
  and    %rsi,%rax
  or     %rcx,%rax
  shr    $0x30,%rsi
  mov    %si,%ax
  mov    %rax,%rcx
  shr    $0x4,%rcx
  and    $0x6,%ecx
  or     $0x1,%ecx
  mov    %rax,%rdi
  shl    %cl,%rdi
  mov    %rdi,%rcx
  shl    $0x2,%rcx
  and    $0x3c,%ecx
  or     %rcx,%rax
  jmp    L65
L73:
  mov    %rsi,%rcx
  shr    $0x2,%rcx
  and    $0xe,%ecx
  or     $0x1,%ecx
  mov    %rsi,%rax
  ror    %cl,%rax
  mov    %rax,%rcx
  shl    $0x4,%rcx
  and    $0x3f0,%ecx
  or     %rsi,%rcx
  mov    %rcx,%rax
  shl    $0x4,%rax
  and    $0x3f0,%eax
  or     %rcx,%rax
  jmp    L65
L4:
  test   $0x8,%sil
  je     L25
  mov    %rsi,%rcx
  shr    $0x4,%rcx
  and    $0xe,%ecx
  or     $0x1,%ecx
  mov    %rsi,%rax
  rol    %cl,%rax
  mov    %rax,%rcx
  shl    $0x3,%rcx
  and    $0x78,%ecx
  or     %rsi,%rcx
  mov    %rcx,%rax
  imul   %rcx,%rax
  shl    $0x4,%rax
  and    $0x3f0,%eax
  or     %rcx,%rax
  jmp    L65
L25:
  mov    %rsi,%rcx
  shr    $0x4,%rcx
  and    $0x6,%ecx
  or     $0x1,%ecx
  mov    %rsi,%rax
  shr    %cl,%rax
  shl    $0x3,%rax
  and    $0x78,%eax
  or     %rsi,%rax
  mov    %rax,%rcx
  shr    %rcx
  and    $0xe,%ecx
  or     $0x1,%ecx
  rol    %cl,%rax
  jmp    L65
L27:
  mov    %rsi,%rcx
  shr    %rcx
  and    $0x6,%ecx
  or     $0x1,%ecx
  shl    %cl,%rsi
  movzwl %si,%ecx
  shl    $0x10,%rcx
  movabs $0xffffffff0000ffff,%rax
  and    %rsi,%rax
  or     %rcx,%rax
  shr    $0x10,%rsi
  mov    %si,%ax
L65:
  add    $0x1f698b9d,%rax
  mov    %rax,(%rdx)
  ret
```

assistant: ```c
void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned short copy11;
  unsigned short copy12;
  {
    state[0UL] = (input[0UL] + 914778474UL) ^ 0xffffffffce5d000bUL;
    if (state[0UL] & 1UL) {
      if ((state[0UL] >> 1UL) & 1UL) {
        if ((state[0UL] >> 3UL) & 1UL) {
          copy11 = *((unsigned short *)(&state[0UL]) + 3);
          *((unsigned short *)(&state[0UL]) + 3) = *((unsigned short *)(&state[0UL]) + 0);
          *((unsigned short *)(&state[0UL]) + 0) = copy11;
          state[0UL] |= ((state[0UL] << (((state[0UL] >> 4UL) & 7UL) | 1UL)) & 15UL) << 2UL;
        } else {
          state[0UL] |= (((state[0UL] >> (((state[0UL] >> 2UL) & 15UL) | 1UL)) | (state[0UL] << (64 - (((state[0UL] >> 2UL) & 15UL) | 1UL)))) & 63UL) << 4UL;
          state[0UL] |= (state[0UL] & 63UL) << 4UL;
        }
      } else if ((state[0UL] >> 3UL) & 1UL) {
        state[0UL] |= (((state[0UL] << (((state[0UL] >> 4UL) & 15UL) | 1UL)) | (state[0UL] >> (64 - (((state[0UL] >> 4UL) & 15UL) | 1UL)))) & 15UL) << 3UL;
        state[0UL] |= (state[0UL] * state[0UL] & 63UL) << 4UL;
      } else {
        state[0UL] |= ((state[0UL] >> (((state[0UL] >> 4UL) & 7UL) | 1UL)) & 15UL) << 3UL;
        state[0UL] = (state[0UL] << (((state[0UL] >> 1UL) & 15UL) | 1UL)) | (state[0UL] >> (64 - (((state[0UL] >> 1UL) & 15UL) | 1UL)));
      }
    } else {
      state[0UL] <<= ((state[0UL] >> 1UL) & 7UL) | 1UL;
      copy12 = *((unsigned short *)(&state[0UL]) + 1);
      *((unsigned short *)(&state[0UL]) + 1) = *((unsigned short *)(&state[0UL]) + 0);
      *((unsigned short *)(&state[0UL]) + 0) = copy12;
    }
    output[0UL] = state[0UL] + 527010717UL;
  }
}
```