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

```asm
<main>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    $0x7fffffff,%esi
  mov    $0xfffffff6,%edi
  call   <fn1@plt>
  cmp    $0x7ffffff7,%eax
  jne    L0
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <fn2@plt>
  test   %ax,%ax
  jne    L0
  mov    $0x3fff,%esi
  mov    $0x20,%edi
  call   <fn2@plt>
  cmp    $0xffe0,%ax
  je     L93
L0:
  mov    $0x0,%eax
  call   <__builtin_abort@plt>
L93:
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0xffff,%esi
  mov    $0x7f,%edi
  call   <fn3@plt>
  cmp    $0x1007e,%eax
  jne    L140
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  jne    L140
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0xffffff80,%edi
  call   <fn3@plt>
  cmp    $0xffffff80,%eax
  jne    L140
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  je     L19
L140:
  mov    $0x0,%eax
  call   <__builtin_abort@plt>
L19:
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0xffff,%edi
  call   <fn4@plt>
  cmp    $0xffffffff80008000,%rax
  jne    L43
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  je     L23
L43:
  mov    $0x0,%eax
  call   <__builtin_abort@plt>
L23:
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <fn5@plt>
  cmp    $0x9b,%al
  jne    L88
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  je     L88
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x3,%esi
  mov    $0x3f,%edi
  call   <fn5@plt>
  cmp    $0xf0,%al
  jne    L88
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  jne    L104
L88:
  mov    $0x0,%eax
  call   <__builtin_abort@plt>
L104:
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <fn6@plt>
  cmp    $0xbd,%al
  jne    L9
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  jne    L9
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x3,%esi
  mov    $0x3f,%edi
  call   <fn6@plt>
  cmp    $0xff,%al
  jne    L9
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  je     L78
L9:
  mov    $0x0,%eax
  call   <__builtin_abort@plt>
L78:
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <fn7@plt>
  test   %eax,%eax
  jne    L59
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  je     L59
  lea    -0xc(%rbp),%rax
  mov    %rax,%rdx
  mov    $0x3,%esi
  mov    $0x3f,%edi
  call   <fn7@plt>
  cmp    $0x12,%eax
  jne    L59
  mov    -0xc(%rbp),%eax
  test   %eax,%eax
  jne    L210
L59:
  mov    $0x0,%eax
  call   <__builtin_abort@plt>
L210:
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L145
  call   <__stack_chk_fail@plt>
L145:
  leave
  ret
```

assistant: ```c
int main() {
  int ovf;
  if (fn1(-10, 0x7fffffff) != (int)(-10U - 0x7fffffff) || fn2(0, 0) != 0 || fn2(32, 16383) != (short int)524256ULL)
    __builtin_abort();
  if (fn3(0x7f, (unsigned short)~0, &ovf) != (int)(0x7f + (unsigned short)~0) || ovf || fn3(-0x7f - 1, 0, &ovf) != (int)(-0x7f - 1) || ovf)
    __builtin_abort();
  if (fn4(65535, 0, &ovf) != 65535L * -32768 || ovf)
    __builtin_abort();
  if (fn5(0, 0, &ovf) != (signed char)(0x7f / 4 * 5) || !ovf || fn5(63, 3, &ovf) != (signed char)((0x7f / 4 + 63) * 8) || !ovf)
    __builtin_abort();
  if (fn6(0, 0, &ovf) != (unsigned char)~0 - 66 || ovf || fn6(63, 3, &ovf) != (unsigned char)~0 || ovf)
    __builtin_abort();
  if (fn7(0, 0, &ovf) != 0 || !ovf || fn7(63, 3, &ovf) != 18 || !ovf)
    __builtin_abort();
  return 0;
}
```