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

```asm
<candidate_nonce>:
  endbr64
  push   %rbp
  mov    %esi,%ecx
  mov    %esi,%ebp
  push   %rbx
  sar    $0x8,%ecx
  mov    %edi,%ebx
  sub    $0x18,%rsp
  test   %edx,%edx
  jne    L19
  mov    %esi,%edx
  mov    %esi,%edi
  mov    %ebx,%eax
  shr    $0x18,%edx
  sar    $0x10,%edi
  sar    $0x9,%eax
  movzbl %dil,%esi
  xor    %edi,%eax
  mov    %edx,%edi
  xor    %edx,%eax
  sar    %edi
  xor    %edi,%eax
  mov    %edx,%edi
  sar    $0x2,%edi
  xor    %edi,%eax
  mov    %edx,%edi
  sar    $0x3,%edi
  xor    %edi,%eax
  mov    %edx,%edi
  sar    $0x4,%edi
  xor    %edi,%eax
  mov    %edx,%edi
  sar    $0x5,%edi
  xor    %edi,%eax
  mov    %edx,%edi
  sar    $0x7,%edx
  sar    $0x6,%edi
  xor    %edi,%eax
  mov    %esi,%edi
  xor    %edx,%eax
  mov    %ebx,%edx
  sar    %edi
  sar    $0x8,%edx
  xor    %ecx,%edx
  xor    %esi,%edx
  xor    %edi,%edx
  mov    %esi,%edi
  sar    $0x2,%edi
  xor    %edi,%edx
  mov    %esi,%edi
  sar    $0x3,%edi
  xor    %edi,%edx
  mov    %esi,%edi
  sar    $0x4,%edi
  xor    %edi,%edx
  mov    %esi,%edi
  sar    $0x5,%edi
  xor    %edi,%edx
  mov    %esi,%edi
  sar    $0x6,%edi
  sar    $0x7,%esi
  xor    %edi,%edx
  xor    %esi,%edx
  and    %edx,%eax
  test   $0x1,%al
  jne    L19
L1:
  xor    %eax,%eax
L18:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  ret
  cs nopw 0x0(%rax,%rax,1)
L19:
  mov    %ebx,%eax
  movzbl %cl,%ecx
  sar    $0x7,%eax
  mov    %ecx,%edx
  xor    %ebp,%eax
  sar    %edx
  xor    %ecx,%eax
  xor    %edx,%eax
  mov    %ecx,%edx
  sar    $0x2,%edx
  xor    %edx,%eax
  mov    %ecx,%edx
  sar    $0x3,%edx
  xor    %edx,%eax
  mov    %ecx,%edx
  sar    $0x4,%edx
  xor    %edx,%eax
  mov    %ecx,%edx
  sar    $0x5,%edx
  xor    %edx,%eax
  mov    %ecx,%edx
  sar    $0x7,%ecx
  sar    $0x6,%edx
  xor    %edx,%eax
  xor    %ecx,%eax
  test   $0x1,%al
  je     L1
  mov    $0x40,%esi
  mov    %ebp,%edi
  call   <prng_successor@plt>
  movzbl %ah,%esi
  mov    %eax,%edx
  mov    %eax,%ecx
  mov    %eax,%r9d
  shr    $0x18,%ecx
  mov    %eax,%r8d
  mov    %ebx,%eax
  sar    $0x10,%r9d
  sar    $0x6,%eax
  movzbl %r9b,%edi
  sar    $0x8,%r8d
  xor    %r9d,%eax
  mov    %ecx,%r9d
  xor    %ecx,%eax
  sar    %r9d
  xor    %r9d,%eax
  mov    %ecx,%r9d
  sar    $0x2,%r9d
  xor    %r9d,%eax
  mov    %ecx,%r9d
  sar    $0x3,%r9d
  xor    %r9d,%eax
  mov    %ecx,%r9d
  sar    $0x4,%r9d
  xor    %r9d,%eax
  mov    %ecx,%r9d
  sar    $0x5,%r9d
  xor    %r9d,%eax
  mov    %ecx,%r9d
  sar    $0x7,%ecx
  sar    $0x6,%r9d
  xor    %r9d,%eax
  xor    %ecx,%eax
  mov    %ebx,%ecx
  sar    $0x5,%ecx
  xor    %r8d,%ecx
  mov    %edi,%r8d
  xor    %edi,%ecx
  sar    %r8d
  xor    %r8d,%ecx
  mov    %edi,%r8d
  sar    $0x2,%r8d
  xor    %r8d,%ecx
  mov    %edi,%r8d
  sar    $0x3,%r8d
  xor    %r8d,%ecx
  mov    %edi,%r8d
  sar    $0x4,%r8d
  xor    %r8d,%ecx
  mov    %edi,%r8d
  sar    $0x5,%r8d
  xor    %r8d,%ecx
  mov    %edi,%r8d
  sar    $0x7,%edi
  sar    $0x6,%r8d
  xor    %r8d,%ecx
  xor    %edi,%ecx
  mov    %esi,%edi
  and    %eax,%ecx
  mov    %ebx,%eax
  sar    %edi
  sar    $0x4,%eax
  xor    %edx,%eax
  xor    %esi,%eax
  xor    %edi,%eax
  mov    %esi,%edi
  sar    $0x2,%edi
  xor    %edi,%eax
  mov    %esi,%edi
  sar    $0x3,%edi
  xor    %edi,%eax
  mov    %esi,%edi
  sar    $0x4,%edi
  xor    %edi,%eax
  mov    %esi,%edi
  sar    $0x5,%edi
  xor    %edi,%eax
  mov    %esi,%edi
  sar    $0x7,%esi
  sar    $0x6,%edi
  xor    %edi,%eax
  xor    %esi,%eax
  and    %ecx,%eax
  test   $0x1,%al
  je     L1
  mov    $0x60,%esi
  mov    %ebp,%edi
  mov    %edx,0xc(%rsp)
  call   <prng_successor@plt>
  mov    %ebx,%edi
  mov    0xc(%rsp),%edx
  mov    %eax,%esi
  mov    %eax,%r10d
  mov    %eax,%r8d
  mov    %eax,%ecx
  sar    $0x10,%esi
  sar    $0x8,%r10d
  movzbl %ah,%eax
  movzbl %dl,%edx
  sar    %edi
  movzbl %sil,%r11d
  mov    %eax,%r9d
  shr    $0x18,%ecx
  xor    %r10d,%edi
  mov    %r11d,%eax
  mov    %r9d,%r10d
  sar    %eax
  xor    %r11d,%edi
  sar    %r10d
  xor    %eax,%edi
  mov    %r11d,%eax
  sar    $0x2,%eax
  xor    %eax,%edi
  mov    %r11d,%eax
  sar    $0x3,%eax
  xor    %eax,%edi
  mov    %r11d,%eax
  sar    $0x4,%eax
  xor    %eax,%edi
  mov    %r11d,%eax
  sar    $0x5,%eax
  xor    %eax,%edi
  mov    %r11d,%eax
  sar    $0x6,%eax
  xor    %eax,%edi
  mov    %r11d,%eax
  sar    $0x7,%eax
  xor    %eax,%edi
  mov    %ebx,%eax
  xor    %r8d,%eax
  xor    %r9d,%eax
  xor    %r10d,%eax
  mov    %r9d,%r10d
  sar    $0x2,%r10d
  xor    %r10d,%eax
  mov    %r9d,%r10d
  sar    $0x3,%r10d
  xor    %r10d,%eax
  mov    %r9d,%r10d
  sar    $0x4,%r10d
  xor    %r10d,%eax
  mov    %r9d,%r10d
  sar    $0x5,%r10d
  xor    %r10d,%eax
  mov    %r9d,%r10d
  sar    $0x7,%r9d
  sar    $0x6,%r10d
  sar    $0x18,%r8d
  xor    %r10d,%eax
  xor    %r9d,%eax
  mov    %edx,%r9d
  and    %eax,%edi
  mov    %ebx,%eax
  sar    %r9d
  sar    $0x3,%eax
  sar    $0x2,%ebx
  xor    %edx,%eax
  xor    %r9d,%eax
  mov    %edx,%r9d
  sar    $0x2,%r9d
  xor    %r9d,%eax
  mov    %edx,%r9d
  sar    $0x3,%r9d
  xor    %r9d,%eax
  mov    %edx,%r9d
  sar    $0x4,%r9d
  xor    %r9d,%eax
  mov    %edx,%r9d
  sar    $0x5,%r9d
  xor    %r9d,%eax
  mov    %edx,%r9d
  sar    $0x7,%edx
  sar    $0x6,%r9d
  xor    %r9d,%eax
  xor    %edx,%eax
  mov    %ebx,%edx
  xor    %esi,%edx
  mov    %ecx,%esi
  xor    %r8d,%eax
  xor    %ecx,%edx
  sar    %esi
  and    %edi,%eax
  xor    %esi,%edx
  mov    %ecx,%esi
  sar    $0x2,%esi
  xor    %esi,%edx
  mov    %ecx,%esi
  sar    $0x3,%esi
  xor    %esi,%edx
  mov    %ecx,%esi
  sar    $0x4,%esi
  xor    %esi,%edx
  mov    %ecx,%esi
  sar    $0x5,%esi
  xor    %esi,%edx
  mov    %ecx,%esi
  sar    $0x7,%ecx
  sar    $0x6,%esi
  xor    %esi,%edx
  xor    %ecx,%edx
  and    %edx,%eax
  and    $0x1,%eax
  jmp    L18
```

assistant: ```c
bool candidate_nonce(uint32_t xored, uint32_t nt, bool ev1) {
  uint8_t byte, check;
  if (!ev1) {
    byte = (nt >> 24) & 0xFF;
    check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((nt >> 16) & 1) ^ ((xored >> 9) & 1);
    if (check)
      return false;
    byte = (nt >> 16) & 0xFF;
    check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((nt >> 8) & 1) ^ ((xored >> 8) & 1);
    if (check)
      return false;
  }
  byte = (nt >> 8) & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ (nt & 1) ^ ((xored >> 7) & 1);
  if (check)
    return false;
  uint32_t ar = prng_successor(nt, 64);
  byte = (ar >> 24) & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((ar >> 16) & 1) ^ ((xored >> 6) & 1);
  if (check)
    return false;
  byte = (ar >> 16) & 0x0FF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((ar >> 8) & 1) ^ ((xored >> 5) & 1);
  if (check)
    return false;
  byte = (ar >> 8) & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ (ar & 1) ^ ((xored >> 4) & 1);
  if (check)
    return false;
  uint32_t at = prng_successor(nt, 96);
  byte = ar & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((at >> 24) & 1) ^ ((xored >> 3) & 1);
  if (check)
    return false;
  byte = (at >> 24) & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((at >> 16) & 1) ^ ((xored >> 2) & 1);
  if (check)
    return false;
  byte = (at >> 16) & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ ((at >> 8) & 1) ^ ((xored >> 1) & 1);
  if (check)
    return false;
  byte = (at >> 8) & 0xFF;
  check = (((byte) ^ (byte) >> 1 ^ (byte) >> 2 ^ (byte) >> 3 ^ (byte) >> 4 ^ (byte) >> 5 ^ (byte) >> 6 ^ (byte) >> 7 ^ 1) & 0x01) ^ (at & 1) ^ (xored & 1);
  if (check)
    return false;
  return true;
}
```