user: What would the C source look like for the assembly code provided here?

```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),%eax
  shl    $0x7,%eax
  and    $0x4334b500,%eax
  mov    %eax,-0xc(%rbp)
  movl   $0x0,-0x10(%rbp)
  jmp    L64
L40:
  movl   $0x0,-0x14(%rbp)
  jmp    L67
L49:
  mov    -0xc(%rbp),%eax
  mov    -0x10(%rbp),%edx
  shr    %edx
  and    $0x6,%edx
  or     $0x1,%edx
  mov    -0x14(%rbp),%esi
  mov    %edx,%ecx
  shl    %cl,%esi
  mov    %esi,%edx
  cmp    %edx,%eax
  jbe    L27
  mov    -0x10(%rbp),%eax
  mov    -0xc(%rbp,%rax,4),%edx
  mov    -0x10(%rbp),%eax
  mov    -0xc(%rbp,%rax,4),%eax
  shr    $0x4,%eax
  and    $0x6,%eax
  or     $0x1,%eax
  mov    %eax,%ecx
  shr    %cl,%edx
  mov    -0x14(%rbp),%eax
  mov    %edx,-0xc(%rbp,%rax,4)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  movzwl (%rax),%eax
  mov    %ax,-0x16(%rbp)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x2,%rax
  lea    -0xc(%rbp),%rcx
  mov    -0x10(%rbp),%edx
  shl    $0x2,%rdx
  add    %rcx,%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    0x2(%rax),%rdx
  movzwl -0x16(%rbp),%eax
  mov    %ax,(%rdx)
  jmp    L30
L27:
  lea    -0xc(%rbp),%rdx
  mov    -0x14(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  mov    %al,-0x17(%rbp)
  lea    -0xc(%rbp),%rdx
  mov    -0x14(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    -0xc(%rbp),%rcx
  mov    -0x14(%rbp),%edx
  shl    $0x2,%rdx
  add    %rcx,%rdx
  add    $0x3,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x14(%rbp),%eax
  shl    $0x2,%rax
  add    %rax,%rdx
  movzbl -0x17(%rbp),%eax
  mov    %al,(%rdx)
  mov    -0x10(%rbp),%eax
  mov    -0xc(%rbp,%rax,4),%edx
  mov    -0x10(%rbp),%eax
  mov    -0xc(%rbp,%rax,4),%eax
  shr    $0x3,%eax
  and    $0x6,%eax
  or     $0x1,%eax
  mov    %eax,%ecx
  shr    %cl,%edx
  mov    -0x14(%rbp),%eax
  mov    %edx,-0xc(%rbp,%rax,4)
L30:
  addl   $0x2,-0x14(%rbp)
L67:
  cmpl   $0x0,-0x14(%rbp)
  je     L49
  addl   $0x1,-0x10(%rbp)
L64:
  cmpl   $0x0,-0x10(%rbp)
  je     L40
  mov    -0xc(%rbp),%eax
  lea    0x0(,%rax,8),%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L43
  call   <__stack_chk_fail@plt>
L43:
  leave
  ret
```

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