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

```asm
<crypto_aead_decrypt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa0,%rsp
  mov    %rdi,-0x68(%rbp)
  mov    %rsi,-0x70(%rbp)
  mov    %rdx,-0x78(%rbp)
  mov    %rcx,-0x80(%rbp)
  mov    %r8,-0x88(%rbp)
  mov    %r9,-0x90(%rbp)
  mov    0x18(%rbp),%rax
  mov    %rax,-0x98(%rbp)
  mov    0x20(%rbp),%rax
  mov    %rax,-0xa0(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movb   $0x0,-0x59(%rbp)
  lea    -0x50(%rbp),%rdx
  mov    -0x98(%rbp),%rcx
  mov    -0xa0(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <morus_initialization@plt>
  movq   $0x0,-0x58(%rbp)
  jmp    L55
L41:
  mov    -0x90(%rbp),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  lea    -0x50(%rbp),%rdx
  lea    -0x30(%rbp),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <morus_enc_aut_step@plt>
  addq   $0x20,-0x58(%rbp)
L55:
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  cmp    %rax,0x10(%rbp)
  jae    L41
  mov    0x10(%rbp),%rax
  and    $0x1f,%eax
  test   %rax,%rax
  je     L0
  mov    0x10(%rbp),%rax
  and    $0x1f,%eax
  mov    %rax,%rsi
  mov    -0x90(%rbp),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rdi
  lea    -0x50(%rbp),%rdx
  lea    -0x30(%rbp),%rax
  mov    %rdx,%rcx
  mov    %rsi,%rdx
  mov    %rax,%rsi
  call   <morus_enc_aut_partialblock@plt>
L0:
  mov    -0x88(%rbp),%rax
  lea    -0x10(%rax),%rdx
  mov    -0x70(%rbp),%rax
  mov    %rdx,(%rax)
  movq   $0x0,-0x58(%rbp)
  jmp    L44
L60:
  mov    -0x80(%rbp),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rsi
  mov    -0x68(%rbp),%rdx
  mov    -0x58(%rbp),%rax
  lea    (%rdx,%rax,1),%rcx
  lea    -0x50(%rbp),%rax
  mov    %rax,%rdx
  mov    %rcx,%rdi
  call   <morus_dec_aut_step@plt>
  addq   $0x20,-0x58(%rbp)
L44:
  mov    -0x58(%rbp),%rax
  lea    0x20(%rax),%rdx
  mov    -0x70(%rbp),%rax
  mov    (%rax),%rax
  cmp    %rax,%rdx
  jbe    L60
  mov    -0x70(%rbp),%rax
  mov    (%rax),%rax
  and    $0x1f,%eax
  test   %rax,%rax
  je     L51
  mov    -0x70(%rbp),%rax
  mov    (%rax),%rax
  and    $0x1f,%eax
  mov    %rax,%rdx
  mov    -0x80(%rbp),%rcx
  mov    -0x58(%rbp),%rax
  lea    (%rcx,%rax,1),%rsi
  mov    -0x68(%rbp),%rcx
  mov    -0x58(%rbp),%rax
  lea    (%rcx,%rax,1),%rdi
  lea    -0x50(%rbp),%rax
  mov    %rax,%rcx
  call   <morus_dec_aut_partialblock@plt>
L51:
  mov    -0x70(%rbp),%rax
  mov    (%rax),%rax
  lea    -0x50(%rbp),%rcx
  mov    -0x80(%rbp),%rdx
  mov    0x10(%rbp),%rsi
  mov    %rax,%rdi
  call   <morus_tag_verification@plt>
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L57
  call   <__stack_chk_fail@plt>
L57:
  leave
  ret
```

assistant: ```c
int crypto_aead_decrypt(unsigned char *m, unsigned long long *mlen, unsigned char *nsec, const unsigned char *c, unsigned long long clen, const unsigned char *ad, unsigned long long adlen, const unsigned char *npub, const unsigned char *k) {
  unsigned long long i, j;
  unsigned char ciphertextblock[32];
  unsigned char tag[16];
  unsigned char check = 0;
  __m256i morus_state[5];
  morus_initialization(k, npub, morus_state);
  for (i = 0; (i + 32) <= adlen; i += 32) {
    morus_enc_aut_step(ad + i, ciphertextblock, morus_state);
  }
  if ((adlen & 0x1f) != 0) {
    morus_enc_aut_partialblock(ad + i, ciphertextblock, adlen & 0x1f, morus_state);
  }
  *mlen = clen - 16;
  for (i = 0; (i + 32) <= *mlen; i += 32) {
    morus_dec_aut_step(m + i, c + i, morus_state);
  }
  if ((*mlen & 0x1f) != 0) {
    morus_dec_aut_partialblock(m + i, c + i, (*mlen) & 0x1f, morus_state);
  }
  return morus_tag_verification(*mlen, adlen, c, morus_state);
}
```