user: 请从给定的汇编指令推导出C源代码：

```asm
<RandomFunc>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  add    $0x136ff696,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  and    $0x10,%eax
  test   %rax,%rax
  je     L54
  mov    -0x10(%rbp),%rax
  and    $0x8,%eax
  test   %rax,%rax
  je     L71
  mov    -0x10(%rbp),%rax
  and    $0x4,%eax
  test   %rax,%rax
  je     L9
  mov    -0x10(%rbp),%rax
  add    %rax,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x10(%rbp),%rax
  add    %rax,%rax
  mov    %rax,-0x10(%rbp)
  jmp    L13
L9:
  lea    -0x10(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  mov    %al,-0x19(%rbp)
  lea    -0x10(%rbp),%rdx
  add    $0x2,%rdx
  lea    -0x10(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rdx),%edx
  mov    %dl,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x2,%rax
  movzbl -0x19(%rbp),%edx
  mov    %dl,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rax),%eax
  mov    %ax,-0x16(%rbp)
  lea    -0x10(%rbp),%rdx
  add    $0x4,%rdx
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rdx),%edx
  mov    %dx,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x4,%rax
  movzwl -0x16(%rbp),%edx
  mov    %dx,(%rax)
  lea    -0x10(%rbp),%rax
  movzwl (%rax),%eax
  mov    %ax,-0x16(%rbp)
  lea    -0x10(%rbp),%rax
  add    $0x2,%rax
  lea    -0x10(%rbp),%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  lea    -0x10(%rbp),%rax
  add    $0x2,%rax
  movzwl -0x16(%rbp),%edx
  mov    %dx,(%rax)
  jmp    L13
L71:
  mov    -0x10(%rbp),%rax
  and    $0x4,%eax
  test   %rax,%rax
  je     L20
  lea    -0x10(%rbp),%rax
  mov    (%rax),%eax
  mov    %eax,-0x14(%rbp)
  lea    -0x10(%rbp),%rax
  add    $0x4,%rax
  lea    -0x10(%rbp),%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  lea    -0x10(%rbp),%rax
  add    $0x4,%rax
  mov    -0x14(%rbp),%edx
  mov    %edx,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x2,%rax
  movzwl (%rax),%eax
  mov    %ax,-0x18(%rbp)
  lea    -0x10(%rbp),%rdx
  lea    -0x10(%rbp),%rax
  add    $0x2,%rax
  movzwl (%rdx),%edx
  mov    %dx,(%rax)
  lea    -0x10(%rbp),%rax
  movzwl -0x18(%rbp),%edx
  mov    %dx,(%rax)
  lea    -0x10(%rbp),%rax
  movzwl (%rax),%eax
  mov    %ax,-0x18(%rbp)
  lea    -0x10(%rbp),%rax
  add    $0x4,%rax
  lea    -0x10(%rbp),%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  lea    -0x10(%rbp),%rax
  add    $0x4,%rax
  movzwl -0x18(%rbp),%edx
  mov    %dx,(%rax)
  jmp    L13
L20:
  lea    -0x10(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rax),%eax
  mov    %al,-0x1a(%rbp)
  lea    -0x10(%rbp),%rdx
  add    $0x6,%rdx
  lea    -0x10(%rbp),%rax
  add    $0x5,%rax
  movzbl (%rdx),%edx
  mov    %dl,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzbl -0x1a(%rbp),%edx
  mov    %dl,(%rax)
  mov    -0x10(%rbp),%rax
  add    %rax,%rax
  mov    %rax,-0x10(%rbp)
  jmp    L13
L54:
  mov    -0x10(%rbp),%rax
  and    $0x4,%eax
  test   %rax,%rax
  jne    L13
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  mov    %al,-0x1b(%rbp)
  lea    -0x10(%rbp),%rdx
  add    $0x1,%rdx
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzbl (%rdx),%edx
  mov    %dl,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x1,%rax
  movzbl -0x1b(%rbp),%edx
  mov    %dl,(%rax)
L13:
  mov    -0x10(%rbp),%rax
  imul   $0x26b89ca2,%rax,%rax
  movabs $0xfccace8a5ca761d8,%rdx
  add    %rax,%rdx
  mov    -0x30(%rbp),%rax
  mov    %rdx,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L50
  call   <__stack_chk_fail@plt>
L50:
  leave
  ret
```

assistant: ```c
void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  char copy11;
  unsigned short copy12;
  unsigned int copy13;
  unsigned short copy14;
  char copy15;
  char copy19;
  {
    state[0UL] = (input[0UL] + 51238316UL) + 274866410UL;
    if ((state[0UL] >> 4UL) & 1UL) {
      if ((state[0UL] >> 3UL) & 1UL) {
        if ((state[0UL] >> 2UL) & 1UL) {
          state[0UL] += state[0UL];
          state[0UL] += state[0UL];
        } else {
          copy11 = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = *((char *)(&state[0UL]) + 2);
          *((char *)(&state[0UL]) + 2) = copy11;
          copy12 = *((unsigned short *)(&state[0UL]) + 3);
          *((unsigned short *)(&state[0UL]) + 3) = *((unsigned short *)(&state[0UL]) + 2);
          *((unsigned short *)(&state[0UL]) + 2) = copy12;
          copy12 = *((unsigned short *)(&state[0UL]) + 0);
          *((unsigned short *)(&state[0UL]) + 0) = *((unsigned short *)(&state[0UL]) + 1);
          *((unsigned short *)(&state[0UL]) + 1) = copy12;
        }
      } else if ((state[0UL] >> 2UL) & 1UL) {
        copy13 = *((unsigned int *)(&state[0UL]) + 0);
        *((unsigned int *)(&state[0UL]) + 0) = *((unsigned int *)(&state[0UL]) + 1);
        *((unsigned int *)(&state[0UL]) + 1) = copy13;
        copy14 = *((unsigned short *)(&state[0UL]) + 1);
        *((unsigned short *)(&state[0UL]) + 1) = *((unsigned short *)(&state[0UL]) + 0);
        *((unsigned short *)(&state[0UL]) + 0) = copy14;
        copy14 = *((unsigned short *)(&state[0UL]) + 0);
        *((unsigned short *)(&state[0UL]) + 0) = *((unsigned short *)(&state[0UL]) + 2);
        *((unsigned short *)(&state[0UL]) + 2) = copy14;
      } else {
        copy15 = *((char *)(&state[0UL]) + 5);
        *((char *)(&state[0UL]) + 5) = *((char *)(&state[0UL]) + 6);
        *((char *)(&state[0UL]) + 6) = copy15;
        state[0UL] += state[0UL];
      }
    } else if (!((state[0UL] >> 2UL) & 1UL)) {
      copy19 = *((char *)(&state[0UL]) + 6);
      *((char *)(&state[0UL]) + 6) = *((char *)(&state[0UL]) + 1);
      *((char *)(&state[0UL]) + 1) = copy19;
    }
    output[0UL] = state[0UL] * 649632930UL - 231145337200877096UL;
  }
}
```