user: Please show me the C implementation that matches the assembly code listed below:

```asm
<write_string_to_defined_output_file>:
  endbr64
  push   %rbp
  mov    %edi,%ecx
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %edi,-0x14(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movslq %edi,%rax
  mov    %rsp,%rdi
  lea    0xf(,%rax,4),%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rdi
  and    $0xfffffffffffffff0,%rdx
  cmp    %rdi,%rsp
  je     L183
L61:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rdi,%rsp
  jne    L61
L183:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L177
L114:
  mov    %rsp,%r9
  test   %ecx,%ecx
  jle    L94
  lea    -0x1(%rcx),%eax
  cmp    $0xe,%eax
  jbe    L5
  mov    %ecx,%edi
  mov    %rsi,%rdx
  pxor   %xmm5,%xmm5
  mov    %r9,%rax
  shr    $0x4,%edi
  pxor   %xmm3,%xmm3
  sub    $0x1,%edi
  shl    $0x4,%rdi
  lea    0x10(%rsi,%rdi,1),%rdi
L19:
  movdqu (%rdx),%xmm0
  movdqa %xmm5,%xmm2
  add    $0x10,%rdx
  add    $0x40,%rax
  pcmpgtb %xmm0,%xmm2
  movdqa %xmm0,%xmm1
  punpcklbw %xmm2,%xmm1
  punpckhbw %xmm2,%xmm0
  movdqa %xmm3,%xmm2
  pcmpgtw %xmm1,%xmm2
  movdqa %xmm1,%xmm4
  punpckhwd %xmm2,%xmm1
  punpcklwd %xmm2,%xmm4
  movdqa %xmm0,%xmm2
  movups %xmm1,-0x30(%rax)
  movdqa %xmm3,%xmm1
  pcmpgtw %xmm0,%xmm1
  movups %xmm4,-0x40(%rax)
  punpcklwd %xmm1,%xmm2
  punpckhwd %xmm1,%xmm0
  movups %xmm2,-0x20(%rax)
  movups %xmm0,-0x10(%rax)
  cmp    %rdi,%rdx
  jne    L19
  mov    %ecx,%eax
  and    $0xfffffff0,%eax
  test   $0xf,%cl
  je     L94
L132:
  movslq %eax,%rdi
  lea    (%r9,%rdi,4),%rdx
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,(%rdx)
  lea    0x1(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x4(%rdx)
  lea    0x2(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x8(%rdx)
  lea    0x3(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0xc(%rdx)
  lea    0x4(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x10(%rdx)
  lea    0x5(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x14(%rdx)
  lea    0x6(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x18(%rdx)
  lea    0x7(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x1c(%rdx)
  lea    0x8(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x20(%rdx)
  lea    0x9(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x24(%rdx)
  lea    0xa(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x28(%rdx)
  lea    0xb(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x2c(%rdx)
  lea    0xc(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x30(%rdx)
  lea    0xd(%rax),%edi
  cmp    %edi,%ecx
  jle    L94
  movslq %edi,%rdi
  add    $0xe,%eax
  movsbl (%rsi,%rdi,1),%edi
  mov    %edi,0x34(%rdx)
  cmp    %eax,%ecx
  jle    L94
  cltq
  movsbl (%rsi,%rax,1),%eax
  mov    %eax,0x38(%rdx)
  nopl   0x0(%rax)
L94:
  xor    %r8d,%r8d
  xor    %ecx,%ecx
  mov    %r9,%rdx
  mov    $0x9e,%edi
  lea    -0x14(%rbp),%rsi
  call   <_ada_use_c2phc@plt>
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  jne    L31
  leave
  ret
  nop
L177:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L114
L5:
  xor    %eax,%eax
  jmp    L132
L31:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
int write_string_to_defined_output_file(int n, char *s) {
  int i, b[n], fail;
  double *c;
  for (i = 0; i < n; i++)
    b[i] = (int)s[i];
  fail = _ada_use_c2phc(158, &n, b, c, 0);
  return fail;
}
```