user: Demonstrate the C code that generates the assembly output below:

```asm
<internal_fiat_p224_selectznz>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xe0,%rsp
  mov    %rdi,-0xc8(%rbp)
  mov    %rsi,-0xd0(%rbp)
  mov    %rdx,-0xd8(%rbp)
  mov    %rcx,-0xe0(%rbp)
  mov    -0xd8(%rbp),%rax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0xc0(%rbp)
  mov    -0xd8(%rbp),%rax
  add    $0x8,%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0xb8(%rbp)
  mov    -0xd8(%rbp),%rax
  add    $0x10,%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0xb0(%rbp)
  mov    -0xd8(%rbp),%rax
  add    $0x18,%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0xa8(%rbp)
  mov    -0xe0(%rbp),%rax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0xa0(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x8,%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0x98(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x10,%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0x90(%rbp)
  mov    -0xe0(%rbp),%rax
  add    $0x18,%eax
  mov    $0x8,%esi
  mov    %eax,%edi
  call   <_br2_load@plt>
  mov    %rax,-0x88(%rbp)
  cmpq   $0x0,-0xd0(%rbp)
  jne    L34
  mov    $0x0,%eax
  jmp    L28
L34:
  mov    $0xffffffffffffffff,%rax
L28:
  mov    %rax,-0x80(%rbp)
  mov    -0x80(%rbp),%rax
  not    %rax
  mov    %rax,-0x78(%rbp)
  mov    -0xa0(%rbp),%rax
  and    -0x80(%rbp),%rax
  mov    %rax,%rdx
  mov    -0xc0(%rbp),%rax
  and    -0x78(%rbp),%rax
  or     %rdx,%rax
  mov    %rax,-0x70(%rbp)
  cmpq   $0x0,-0xd0(%rbp)
  jne    L79
  mov    $0x0,%eax
  jmp    L64
L79:
  mov    $0xffffffffffffffff,%rax
L64:
  mov    %rax,-0x68(%rbp)
  mov    -0x68(%rbp),%rax
  not    %rax
  mov    %rax,-0x60(%rbp)
  mov    -0x98(%rbp),%rax
  and    -0x68(%rbp),%rax
  mov    %rax,%rdx
  mov    -0xb8(%rbp),%rax
  and    -0x60(%rbp),%rax
  or     %rdx,%rax
  mov    %rax,-0x58(%rbp)
  cmpq   $0x0,-0xd0(%rbp)
  jne    L33
  mov    $0x0,%eax
  jmp    L55
L33:
  mov    $0xffffffffffffffff,%rax
L55:
  mov    %rax,-0x50(%rbp)
  mov    -0x50(%rbp),%rax
  not    %rax
  mov    %rax,-0x48(%rbp)
  mov    -0x90(%rbp),%rax
  and    -0x50(%rbp),%rax
  mov    %rax,%rdx
  mov    -0xb0(%rbp),%rax
  and    -0x48(%rbp),%rax
  or     %rdx,%rax
  mov    %rax,-0x40(%rbp)
  cmpq   $0x0,-0xd0(%rbp)
  jne    L6
  mov    $0x0,%eax
  jmp    L23
L6:
  mov    $0xffffffffffffffff,%rax
L23:
  mov    %rax,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  not    %rax
  mov    %rax,-0x30(%rbp)
  mov    -0x88(%rbp),%rax
  and    -0x38(%rbp),%rax
  mov    %rax,%rdx
  mov    -0xa8(%rbp),%rax
  and    -0x30(%rbp),%rax
  or     %rdx,%rax
  mov    %rax,-0x28(%rbp)
  mov    -0x70(%rbp),%rax
  mov    %rax,-0x20(%rbp)
  mov    -0x58(%rbp),%rax
  mov    %rax,-0x18(%rbp)
  mov    -0x40(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x28(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0xc8(%rbp),%rax
  mov    %eax,%ecx
  mov    -0x20(%rbp),%rax
  mov    $0x8,%edx
  mov    %rax,%rsi
  mov    %ecx,%edi
  call   <_br2_store@plt>
  mov    -0xc8(%rbp),%rax
  add    $0x8,%eax
  mov    %eax,%ecx
  mov    -0x18(%rbp),%rax
  mov    $0x8,%edx
  mov    %rax,%rsi
  mov    %ecx,%edi
  call   <_br2_store@plt>
  mov    -0xc8(%rbp),%rax
  add    $0x10,%eax
  mov    %eax,%ecx
  mov    -0x10(%rbp),%rax
  mov    $0x8,%edx
  mov    %rax,%rsi
  mov    %ecx,%edi
  call   <_br2_store@plt>
  mov    -0xc8(%rbp),%rax
  add    $0x18,%eax
  mov    %eax,%ecx
  mov    -0x8(%rbp),%rax
  mov    $0x8,%edx
  mov    %rax,%rsi
  mov    %ecx,%edi
  call   <_br2_store@plt>
  nop
  leave
  ret
```

assistant: ```c
void internal_fiat_p224_selectznz(uintptr_t out0, uintptr_t in0, uintptr_t in1, uintptr_t in2) {
  uintptr_t x4, x8, x0, x9, x5, x11, x1, x12, x6, x14, x2, x15, x7, x17, x3, x18, x10, x13, x16, x19, x20, x21, x22, x23;
  x0 = _br2_load((in1) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in1) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x2 = _br2_load((in1) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x3 = _br2_load((in1) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x4 = _br2_load((in2) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x5 = _br2_load((in2) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x6 = _br2_load((in2) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x7 = _br2_load((in2) + ((uintptr_t)24ULL), sizeof(uintptr_t));
  x8 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x9 = (x8) ^ ((uintptr_t)18446744073709551615ULL);
  x10 = ((x4) & (x8)) | ((x0) & (x9));
  x11 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x12 = (x11) ^ ((uintptr_t)18446744073709551615ULL);
  x13 = ((x5) & (x11)) | ((x1) & (x12));
  x14 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x15 = (x14) ^ ((uintptr_t)18446744073709551615ULL);
  x16 = ((x6) & (x14)) | ((x2) & (x15));
  x17 = ((uintptr_t)-1ULL) + ((in0) == ((uintptr_t)0ULL));
  x18 = (x17) ^ ((uintptr_t)18446744073709551615ULL);
  x19 = ((x7) & (x17)) | ((x3) & (x18));
  x20 = x10;
  x21 = x13;
  x22 = x16;
  x23 = x19;
  _br2_store((out0) + ((uintptr_t)0ULL), x20, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x21, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x22, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x23, sizeof(uintptr_t));
  return;
}
```