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

```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
  shr    $0x3,%eax
  or     $0x61bab5,%eax
  mov    %eax,-0xc(%rbp)
  movl   $0x0,-0x10(%rbp)
  jmp    L8
L24:
  mov    -0xc(%rbp),%eax
  cmp    %eax,-0x10(%rbp)
  jae    L44
  mov    -0xc(%rbp),%eax
  cmp    %eax,-0x10(%rbp)
  jae    L83
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  mov    %al,-0x12(%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
  add    $0x1,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    0x2(%rax),%rdx
  movzbl -0x12(%rbp),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  mov    %al,-0x12(%rbp)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    -0xc(%rbp),%rcx
  mov    -0x10(%rbp),%edx
  shl    $0x2,%rdx
  add    %rcx,%rdx
  add    $0x2,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rax,%rdx
  movzbl -0x12(%rbp),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rax
  movzbl (%rax),%eax
  mov    %al,-0x11(%rbp)
  lea    -0xc(%rbp),%rax
  add    $0x3,%rax
  lea    -0xc(%rbp),%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rax
  add    $0x3,%rax
  movzbl -0x11(%rbp),%edx
  mov    %dl,(%rax)
  lea    -0xc(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  mov    %al,-0x11(%rbp)
  lea    -0xc(%rbp),%rdx
  lea    -0xc(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rdx),%edx
  mov    %dl,(%rax)
  lea    -0xc(%rbp),%rax
  movzbl -0x11(%rbp),%edx
  mov    %dl,(%rax)
  jmp    L21
L83:
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  mov    %al,-0x14(%rbp)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x1,%rax
  lea    -0xc(%rbp),%rcx
  mov    -0x10(%rbp),%edx
  shl    $0x2,%rdx
  add    %rcx,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    0x1(%rax),%rdx
  movzbl -0x14(%rbp),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  mov    %al,-0x13(%rbp)
  lea    -0xc(%rbp),%rdx
  add    $0x3,%rdx
  lea    -0xc(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rdx),%edx
  mov    %dl,(%rax)
  lea    -0xc(%rbp),%rax
  add    $0x3,%rax
  movzbl -0x13(%rbp),%edx
  mov    %dl,(%rax)
  jmp    L21
L44:
  mov    -0xc(%rbp),%eax
  cmp    %eax,-0x10(%rbp)
  jb     L79
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  mov    %al,-0x15(%rbp)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x3,%rax
  lea    -0xc(%rbp),%rcx
  mov    -0x10(%rbp),%edx
  shl    $0x2,%rdx
  add    %rcx,%rdx
  add    $0x2,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    0x3(%rax),%rdx
  movzbl -0x15(%rbp),%eax
  mov    %al,(%rdx)
  jmp    L21
L79:
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  mov    %al,-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
  add    $0x3,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  lea    -0xc(%rbp),%rdx
  mov    -0x10(%rbp),%eax
  shl    $0x2,%rax
  add    %rdx,%rax
  lea    0x2(%rax),%rdx
  movzbl -0x16(%rbp),%eax
  mov    %al,(%rdx)
L21:
  addl   $0x2,-0x10(%rbp)
L8:
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x10(%rbp)
  jb     L24
  mov    -0xc(%rbp),%eax
  mov    %eax,%eax
  shr    $0x5,%rax
  and    $0x710ed6,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  mov    %edx,(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L35
  call   <__stack_chk_fail@plt>
L35:
  leave
  ret
```

assistant: ```c
void RandomFunc(unsigned int input[1], unsigned int output[1]) {
  unsigned int state[1];
  unsigned int local1;
  char copy11;
  char copy12;
  char copy13;
  char copy14;
  char copy15;
  char copy18;
  {
    state[0UL] = (input[0UL] | 51238316UL) >> 3U;
    local1 = 0UL;
    while (local1 < input[1UL]) {
      if (state[0UL] > local1) {
        if (state[0UL] > local1) {
          copy11 = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = copy11;
          copy11 = *((char *)(&state[local1]) + 2);
          *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = copy11;
          copy12 = *((char *)(&state[0UL]) + 0);
          *((char *)(&state[0UL]) + 0) = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = copy12;
          copy12 = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = *((char *)(&state[0UL]) + 0);
          *((char *)(&state[0UL]) + 0) = copy12;
        } else {
          copy13 = *((char *)(&state[local1]) + 0);
          *((char *)(&state[local1]) + 0) = *((char *)(&state[local1]) + 1);
          *((char *)(&state[local1]) + 1) = copy13;
          copy14 = *((char *)(&state[0UL]) + 2);
          *((char *)(&state[0UL]) + 2) = *((char *)(&state[0UL]) + 3);
          *((char *)(&state[0UL]) + 3) = copy14;
        }
      } else if (state[0UL] <= local1) {
        copy15 = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = *((char *)(&state[local1]) + 3);
        *((char *)(&state[local1]) + 3) = copy15;
      } else {
        copy18 = *((char *)(&state[local1]) + 3);
        *((char *)(&state[local1]) + 3) = *((char *)(&state[local1]) + 2);
        *((char *)(&state[local1]) + 2) = copy18;
      }
      local1 += 2UL;
    }
    output[0UL] = (state[0UL] & 237099718UL) >> 5U;
  }
}
```