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

```asm
<RandomFunc>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x38(%rbp),%rax
  mov    (%rax),%rax
  shl    $0x7,%rax
  mov    %rax,%rdx
  movabs $0x1b4334b500,%rax
  and    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  movq   $0x0,-0x18(%rbp)
  jmp    L89
L81:
  mov    -0x10(%rbp),%rax
  cmp    %rax,-0x18(%rbp)
  jae    L69
  mov    -0x10(%rbp),%rax
  cmp    %rax,-0x18(%rbp)
  jae    L60
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rax),%eax
  mov    %ax,-0x24(%rbp)
  lea    -0x10(%rbp),%rdx
  add    $0x2,%rdx
  lea    -0x10(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rdx),%edx
  mov    %dx,(%rax)
  lea    -0x10(%rbp),%rax
  add    $0x2,%rax
  movzwl -0x24(%rbp),%edx
  mov    %dx,(%rax)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  mov    %ax,-0x22(%rbp)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x4,%rax
  lea    -0x10(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  shl    $0x3,%rdx
  add    %rcx,%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  lea    0x4(%rax),%rdx
  movzwl -0x22(%rbp),%eax
  mov    %ax,(%rdx)
  jmp    L56
L60:
  mov    -0x18(%rbp),%rax
  mov    -0x10(%rbp,%rax,8),%rdx
  mov    -0x18(%rbp),%rax
  mov    -0x10(%rbp,%rax,8),%rax
  shr    $0x3,%rax
  and    $0x6,%eax
  or     $0x1,%eax
  mov    %eax,%ecx
  shr    %cl,%rdx
  mov    -0x18(%rbp),%rax
  mov    %rdx,-0x10(%rbp,%rax,8)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x1c(%rbp)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x4,%rax
  lea    -0x10(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  shl    $0x3,%rdx
  add    %rcx,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  lea    0x4(%rax),%rdx
  mov    -0x1c(%rbp),%eax
  mov    %eax,(%rdx)
  jmp    L56
L69:
  mov    -0x10(%rbp),%rax
  cmp    %rax,-0x18(%rbp)
  jb     L66
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x6,%rax
  movzbl (%rax),%eax
  mov    %al,-0x27(%rbp)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x2,%rax
  lea    -0x10(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  shl    $0x3,%rdx
  add    %rcx,%rdx
  add    $0x6,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  lea    0x2(%rax),%rdx
  movzbl -0x27(%rbp),%eax
  mov    %al,(%rdx)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x2,%rax
  movzwl (%rax),%eax
  mov    %ax,-0x26(%rbp)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x6,%rax
  lea    -0x10(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  shl    $0x3,%rdx
  add    %rcx,%rdx
  add    $0x2,%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  lea    0x6(%rax),%rdx
  movzwl -0x26(%rbp),%eax
  mov    %ax,(%rdx)
  jmp    L56
L66:
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  mov    %eax,-0x20(%rbp)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rdx,%rax
  lea    -0x10(%rbp),%rcx
  mov    -0x18(%rbp),%rdx
  shl    $0x3,%rdx
  add    %rcx,%rdx
  add    $0x4,%rdx
  mov    (%rax),%eax
  mov    %eax,(%rdx)
  lea    -0x10(%rbp),%rdx
  mov    -0x18(%rbp),%rax
  shl    $0x3,%rax
  add    %rax,%rdx
  mov    -0x20(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x10(%rbp),%rdx
  mov    -0x10(%rbp),%rax
  shr    $0x3,%rax
  and    $0x6,%eax
  or     $0x1,%eax
  mov    %eax,%ecx
  shl    %cl,%rdx
  mov    %rdx,%rax
  mov    %rax,-0x10(%rbp)
L56:
  addq   $0x1,-0x18(%rbp)
L89:
  cmpq   $0x0,-0x18(%rbp)
  je     L81
  mov    -0x10(%rbp),%rax
  or     $0x658b07,%rax
  mov    %rax,%rdx
  mov    -0x40(%rbp),%rax
  mov    %rdx,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L41
  call   <__stack_chk_fail@plt>
L41:
  leave
  ret
```

assistant: ```c
void RandomFunc(unsigned long input[1], unsigned long output[1]) {
  unsigned long state[1];
  unsigned long local1;
  unsigned short copy11;
  unsigned short copy12;
  unsigned int copy13;
  char copy14;
  unsigned short copy15;
  unsigned int copy16;
  {
    state[0UL] = (input[0UL] & 914778474UL) << 7UL;
    local1 = 0UL;
    while (local1 < 1UL) {
      if (state[0UL] > local1) {
        if (state[0UL] > local1) {
          copy11 = *((unsigned short *)(&state[0UL]) + 3);
          *((unsigned short *)(&state[0UL]) + 3) = *((unsigned short *)(&state[0UL]) + 1);
          *((unsigned short *)(&state[0UL]) + 1) = copy11;
          copy12 = *((unsigned short *)(&state[local1]) + 0);
          *((unsigned short *)(&state[local1]) + 0) = *((unsigned short *)(&state[local1]) + 2);
          *((unsigned short *)(&state[local1]) + 2) = copy12;
        } else {
          state[local1] >>= ((state[local1] >> 3UL) & 7UL) | 1UL;
          copy13 = *((unsigned int *)(&state[local1]) + 0);
          *((unsigned int *)(&state[local1]) + 0) = *((unsigned int *)(&state[local1]) + 1);
          *((unsigned int *)(&state[local1]) + 1) = copy13;
        }
      } else if (state[0UL] <= local1) {
        copy14 = *((char *)(&state[local1]) + 6);
        *((char *)(&state[local1]) + 6) = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = copy14;
        copy15 = *((unsigned short *)(&state[local1]) + 1);
        *((unsigned short *)(&state[local1]) + 1) = *((unsigned short *)(&state[local1]) + 3);
        *((unsigned short *)(&state[local1]) + 3) = copy15;
      } else {
        copy16 = *((unsigned int *)(&state[local1]) + 1);
        *((unsigned int *)(&state[local1]) + 1) = *((unsigned int *)(&state[local1]) + 0);
        *((unsigned int *)(&state[local1]) + 0) = copy16;
        state[0UL] <<= ((state[0UL] >> 3UL) & 7UL) | 1UL;
      }
      local1++;
    }
    output[0UL] = state[0UL] | 6654727UL;
  }
}
```