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

```asm
<deoxys_aead_encrypt>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x258,%rsp
  mov    %rdi,0x18(%rsp)
  mov    %rsi,%r14
  mov    %rdx,0x28(%rsp)
  mov    %rcx,(%rsp)
  mov    %r8,%r12
  mov    %r9,%r15
  mov    %r9,0x8(%rsp)
  mov    0x290(%rsp),%rax
  mov    %rax,0x30(%rsp)
  mov    0x298(%rsp),%rax
  mov    %rax,0x38(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x248(%rsp)
  xor    %eax,%eax
  lea    0x40(%rsp),%rbx
  mov    $0x40,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  lea    0x180(%rsp),%rbp
  mov    $0x20,%edx
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <memcpy@plt>
  lea    0x80(%rsp),%r13
  mov    $0x10,%edx
  mov    $0x0,%esi
  mov    %r13,%rdi
  call   <memset@plt>
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <set_block_number_in_tweak@plt>
  lea    0x60(%rsp),%rdi
  mov    $0x0,%esi
  call   <set_block_number_in_tweak@plt>
  mov    $0x30,%esi
  mov    %rbx,%rdi
  call   <set_stage_in_tweak@plt>
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x100(%rsp),%r12
  mov    %r12,%rcx
  mov    %rbp,%rdx
  mov    %r15,%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <xor_values@plt>
  mov    $0x70,%esi
  mov    %rbx,%rdi
  call   <set_stage_in_tweak@plt>
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <set_tweak_in_tweakey@plt>
  mov    %r12,%rcx
  mov    %rbp,%rdx
  mov    %r15,%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <xor_values@plt>
  test   %r14,%r14
  jne    L121
L37:
  lea    0x40(%rsp),%rdi
  mov    $0x0,%esi
  call   <set_stage_in_tweak@plt>
  cmpq   $0xf,(%rsp)
  jbe    L82
  mov    0x28(%rsp),%rbp
  mov    $0x0,%ebx
  lea    0x40(%rsp),%r15
L113:
  lea    0x1(%rbx),%r14d
  lea    0x60(%rsp),%rdi
  mov    %ebx,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%r13
  mov    %r15,%rsi
  mov    %r13,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x100(%rsp),%r12
  mov    %r12,%rcx
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  lea    0x80(%rsp),%rdi
  mov    %r12,%rsi
  call   <xor_values@plt>
  mov    %rbx,%rax
  add    $0x1,%rbx
  add    $0x40,%rbp
  add    $0x2,%rax
  shl    $0x4,%rax
  cmp    %rax,(%rsp)
  jae    L113
L41:
  mov    %r14d,%ebp
  shl    $0x4,%ebp
  movslq %ebp,%rbx
  cmp    (%rsp),%rbx
  jb     L77
L11:
  lea    0x40(%rsp),%rbp
  mov    $0x10,%esi
  mov    %rbp,%rdi
  call   <set_stage_in_tweak@plt>
  lea    0x60(%rsp),%rdi
  mov    $0x0,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%r12
  mov    %rbp,%rsi
  mov    %r12,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x140(%rsp),%rbx
  lea    0x80(%rsp),%rsi
  mov    %rbx,%rcx
  mov    %r12,%rdx
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  mov    $0x10,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <memcpy@plt>
  mov    0x40(%rsp),%eax
  and    $0x7f,%eax
  xor    $0x80,%al
  mov    %eax,0x40(%rsp)
  mov    %rbx,%rdi
  call   <get_block_number_from_tag@plt>
  mov    %eax,0x24(%rsp)
  lea    0x160(%rsp),%rdi
  call   <get_block_number_from_tag@plt>
  cmpq   $0xf,(%rsp)
  jbe    L118
  mov    0x30(%rsp),%rbp
  mov    0x28(%rsp),%r12
  mov    %eax,%ebx
  mov    $0x20,%r14d
  mov    $0x1,%edx
  sub    %eax,%edx
  mov    %edx,0x18(%rsp)
  jmp    L150
L121:
  mov    %rbx,%rdi
  mov    $0x20,%esi
  call   <set_stage_in_tweak@plt>
  cmp    $0xf,%r14
  jbe    L197
  mov    0x18(%rsp),%rbp
  mov    $0x0,%ebx
  lea    0x40(%rsp),%rax
  mov    %rax,0x10(%rsp)
L103:
  lea    0x1(%rbx),%r15d
  lea    0x60(%rsp),%rdi
  mov    %ebx,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%r13
  mov    0x10(%rsp),%rsi
  mov    %r13,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x100(%rsp),%r12
  mov    %r12,%rcx
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  lea    0x80(%rsp),%rdi
  mov    %r12,%rsi
  call   <xor_values@plt>
  mov    %rbx,%rax
  add    $0x1,%rbx
  add    $0x40,%rbp
  add    $0x2,%rax
  shl    $0x4,%rax
  cmp    %rax,%r14
  jae    L103
  mov    %r15d,%ebp
  shl    $0x4,%ebp
  movslq %ebp,%rbx
  cmp    %r14,%rbx
  jae    L37
L18:
  lea    0xc0(%rsp),%r12
  mov    $0x10,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  call   <memset@plt>
  mov    %r14d,%edx
  sub    %ebp,%edx
  mov    0x18(%rsp),%rax
  lea    (%rax,%rbx,4),%rsi
  mov    %r12,%rdi
  call   <memcpy@plt>
  sub    %rbx,%r14
  movl   $0x80,0xc0(%rsp,%r14,4)
  lea    0x40(%rsp),%rbx
  mov    $0x60,%esi
  mov    %rbx,%rdi
  call   <set_stage_in_tweak@plt>
  lea    0x60(%rsp),%rdi
  mov    %r15d,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%rbp
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x100(%rsp),%rbx
  mov    %rbx,%rcx
  mov    %rbp,%rdx
  mov    %r12,%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  lea    0x80(%rsp),%rdi
  mov    %rbx,%rsi
  call   <xor_values@plt>
  jmp    L37
L197:
  mov    $0x0,%r15d
  mov    $0x0,%ebx
  mov    $0x0,%ebp
  jmp    L18
L82:
  mov    $0x0,%r14d
  jmp    L41
L77:
  lea    0xc0(%rsp),%r12
  mov    $0x10,%edx
  mov    $0x0,%esi
  mov    %r12,%rdi
  call   <memset@plt>
  mov    (%rsp),%r15
  mov    %r15d,%edx
  sub    %ebp,%edx
  mov    0x28(%rsp),%rax
  lea    (%rax,%rbx,4),%rsi
  mov    %r12,%rdi
  call   <memcpy@plt>
  mov    %r15,%rax
  sub    %rbx,%rax
  movl   $0x80,0xc0(%rsp,%rax,4)
  lea    0x40(%rsp),%rbx
  mov    $0x40,%esi
  mov    %rbx,%rdi
  call   <set_stage_in_tweak@plt>
  lea    0x60(%rsp),%rdi
  mov    %r14d,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%rbp
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x100(%rsp),%rbx
  mov    %rbx,%rcx
  mov    %rbp,%rdx
  mov    %r12,%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  lea    0x80(%rsp),%rdi
  mov    %rbx,%rsi
  call   <xor_values@plt>
  jmp    L11
L86:
  add    $0x40,%rbp
  add    $0x40,%r12
  lea    0x10(%r14),%rax
  cmp    %r14,(%rsp)
  jb     L199
  mov    %rax,%r14
L150:
  mov    0x18(%rsp),%eax
  add    %ebx,%eax
  mov    %eax,0x10(%rsp)
  lea    0x40(%rsp),%r15
  lea    0x60(%rsp),%rdi
  mov    %ebx,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%r13
  mov    %r15,%rsi
  mov    %r13,%rdi
  call   <set_tweak_in_tweakey@plt>
  mov    %rbp,%rcx
  mov    %r13,%rdx
  mov    0x8(%rsp),%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  mov    %r12,%rsi
  mov    %rbp,%rdi
  call   <xor_values@plt>
  add    $0x1,%ebx
  jne    L86
  addl   $0x1,0x24(%rsp)
  mov    0x24(%rsp),%eax
  mov    %r15,%rdi
  mov    %eax,%esi
  call   <set_block_number_in_tweak@plt>
  mov    0x40(%rsp),%eax
  and    $0x7f,%eax
  xor    $0x80,%al
  mov    %eax,0x40(%rsp)
  jmp    L86
L118:
  mov    %eax,%ebx
  movl   $0x0,0x10(%rsp)
L199:
  mov    0x10(%rsp),%ebp
  shl    $0x4,%ebp
  movslq %ebp,%rbp
  cmp    (%rsp),%rbp
  jb     L177
L72:
  lea    0x140(%rsp),%rsi
  mov    0x30(%rsp),%rax
  mov    (%rsp),%rbx
  lea    (%rax,%rbx,4),%rdi
  mov    $0x10,%edx
  call   <memcpy@plt>
  lea    0x10(%rbx),%rax
  mov    0x38(%rsp),%rcx
  mov    %rax,(%rcx)
  mov    0x248(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L91
  add    $0x258,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L177:
  lea    0x40(%rsp),%r13
  lea    0x60(%rsp),%rdi
  mov    %ebx,%esi
  call   <set_block_number_in_tweak@plt>
  lea    0x180(%rsp),%r12
  mov    %r13,%rsi
  mov    %r12,%rdi
  call   <set_tweak_in_tweakey@plt>
  lea    0x100(%rsp),%rbx
  mov    %rbx,%rcx
  mov    %r12,%rdx
  mov    0x8(%rsp),%rsi
  mov    $0x180,%edi
  call   <aesTweakEncrypt@plt>
  lea    0x0(,%rbp,4),%rax
  mov    (%rsp),%rcx
  lea    0x0(,%rcx,4),%rsi
  neg    %rbp
  lea    (%rbx,%rbp,4),%rcx
  mov    0x28(%rsp),%rdi
  mov    0x30(%rsp),%r8
L40:
  mov    (%rdi,%rax,1),%edx
  xor    (%rcx,%rax,1),%edx
  mov    %edx,(%r8,%rax,1)
  add    $0x4,%rax
  cmp    %rsi,%rax
  jne    L40
  jmp    L72
L91:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void deoxys_aead_encrypt(const uint8_t *ass_data, size_t ass_data_len, const uint8_t *message, size_t m_len, const uint8_t *key, const uint8_t *nonce, uint8_t *ciphertext, size_t *c_len) {
  uint64_t i;
  uint64_t j;
  uint64_t hblock1, hblock2;
  uint8_t tweak[16];
  uint8_t tweakey[384 / 8];
  uint8_t Auth[16];
  uint8_t last_block[16];
  uint8_t Final[16];
  uint8_t zero_block[16];
  uint8_t Pad[16];
  uint8_t temp[16];
  uint8_t tag[16];
  memset(tweak, 0, sizeof(tweak));
  memcpy(tweakey, key, 32);
  memset(Auth, 0, 16);
  set_block_number_in_tweak(tweak + 0, 0);
  set_block_number_in_tweak(tweak + 8, 0);
  set_stage_in_tweak(tweak, (0x3 << 4));
  set_tweak_in_tweakey(tweakey, tweak);
  aesTweakEncrypt(384, nonce, tweakey, temp);
  xor_values(Auth, temp);
  set_stage_in_tweak(tweak, (0x7 << 4));
  set_tweak_in_tweakey(tweakey, tweak);
  aesTweakEncrypt(384, nonce, tweakey, temp);
  xor_values(Auth, temp);
  if (ass_data_len) {
    set_stage_in_tweak(tweak, (0x2 << 4));
    i = 0;
    while (16 * (i + 1) <= ass_data_len) {
      set_block_number_in_tweak(tweak + 8, i);
      set_tweak_in_tweakey(tweakey, tweak);
      aesTweakEncrypt(384, ass_data + 16 * i, tweakey, temp);
      xor_values(Auth, temp);
      i++;
    }
    if (ass_data_len > 16 * i) {
      memset(last_block, 0, 16);
      memcpy(last_block, ass_data + 16 * i, ass_data_len - 16 * i);
      last_block[ass_data_len - 16 * i] = 0x80;
      set_stage_in_tweak(tweak, (0x6 << 4));
      set_block_number_in_tweak(tweak + 8, i);
      set_tweak_in_tweakey(tweakey, tweak);
      aesTweakEncrypt(384, last_block, tweakey, temp);
      xor_values(Auth, temp);
    }
  }
  set_stage_in_tweak(tweak, (0x0 << 4));
  i = 0;
  while (16 * (i + 1) <= m_len) {
    set_block_number_in_tweak(tweak + 8, i);
    set_tweak_in_tweakey(tweakey, tweak);
    aesTweakEncrypt(384, message + 16 * i, tweakey, temp);
    xor_values(Auth, temp);
    i++;
  }
  if (m_len > 16 * i) {
    memset(last_block, 0, 16);
    memcpy(last_block, message + 16 * i, m_len - 16 * i);
    last_block[m_len - 16 * i] = 0x80;
    set_stage_in_tweak(tweak, (0x4 << 4));
    set_block_number_in_tweak(tweak + 8, i);
    set_tweak_in_tweakey(tweakey, tweak);
    aesTweakEncrypt(384, last_block, tweakey, temp);
    xor_values(Auth, temp);
  }
  set_stage_in_tweak(tweak, (0x1 << 4));
  set_block_number_in_tweak(tweak + 8, 0);
  set_tweak_in_tweakey(tweakey, tweak);
  aesTweakEncrypt(384, Auth, tweakey, tag);
  memcpy(tweak, tag, 16);
  tweak[0] = 0x80 ^ (tweak[0] & 0x7f);
  i = 0;
  hblock1 = get_block_number_from_tag(tag + 0);
  hblock2 = get_block_number_from_tag(tag + 8);
  while (16 * (i + 1) <= m_len) {
    set_block_number_in_tweak(tweak + 8, hblock2);
    set_tweak_in_tweakey(tweakey, tweak);
    aesTweakEncrypt(384, nonce, tweakey, ciphertext + 16 * i);
    xor_values(ciphertext + 16 * i, message + 16 * i);
    i++;
    hblock2++;
    if (hblock2 == 0) {
      hblock1++;
      set_block_number_in_tweak(tweak, hblock1);
      tweak[0] = 0x80 ^ (tweak[0] & 0x7f);
    }
  }
  if (m_len > 16 * i) {
    set_block_number_in_tweak(tweak + 8, hblock2);
    set_tweak_in_tweakey(tweakey, tweak);
    aesTweakEncrypt(384, nonce, tweakey, temp);
    for (j = 0; j < m_len - 16 * i; j++)
      ciphertext[16 * i + j] = message[16 * i + j] ^ temp[j];
  }
  memcpy(ciphertext + m_len, tag, 16);
  *c_len = m_len + 16;
}
```