user: What is the c source code of the assembly code below:

```asm
<aegis128L_tag_generation>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %edx,%eax
  mov    %rcx,-0x60(%rbp)
  mov    %r8,-0x68(%rbp)
  mov    %al,-0x54(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  lea    -0x20(%rbp),%rax
  mov    -0x50(%rbp),%rdx
  shl    $0x3,%rdx
  mov    %rdx,(%rax)
  lea    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    -0x48(%rbp),%rdx
  shl    $0x3,%rdx
  mov    %rdx,(%rax)
  lea    -0x20(%rbp),%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  lea    -0x20(%rbp),%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  lea    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  lea    -0x20(%rbp),%rax
  add    $0x8,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  movl   $0x0,-0x34(%rbp)
  jmp    L18
L9:
  mov    -0x68(%rbp),%rax
  lea    0x70(%rax),%rcx
  lea    -0x30(%rbp),%rax
  mov    $0x10,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  mov    -0x68(%rbp),%rax
  lea    0x70(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x60(%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x70,%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  lea    0x60(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x50(%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  lea    0x50(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x40(%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x50,%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  lea    0x40(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x30(%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x40,%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  lea    0x30(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x20(%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x30,%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  lea    0x20(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x10(%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x20,%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  lea    0x10(%rax),%rdx
  mov    -0x68(%rbp),%rax
  lea    0x10(%rax),%rcx
  mov    -0x68(%rbp),%rax
  mov    %rax,%rsi
  mov    %rcx,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rdx
  lea    -0x30(%rbp),%rcx
  mov    -0x68(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <AESROUND@plt>
  mov    -0x68(%rbp),%rax
  mov    (%rax),%rdx
  lea    -0x20(%rbp),%rax
  mov    (%rax),%rax
  xor    %rax,%rdx
  mov    -0x68(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rcx
  lea    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x8,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rcx
  lea    -0x20(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x40,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rcx
  lea    -0x20(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x48,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  addl   $0x1,-0x34(%rbp)
L18:
  cmpl   $0x6,-0x34(%rbp)
  jle    L9
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x50,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x58,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x48,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x60,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  mov    (%rax),%rcx
  mov    -0x68(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rdx
  mov    -0x68(%rbp),%rax
  add    $0x68,%rax
  xor    %rcx,%rdx
  mov    %rdx,(%rax)
  movzbl -0x54(%rbp),%edx
  mov    -0x68(%rbp),%rax
  lea    0x60(%rax),%rcx
  mov    -0x60(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L1
  call   <__stack_chk_fail@plt>
L1:
  leave
  ret
```

assistant: ```c
void aegis128L_tag_generation(unsigned long msglen, unsigned long adlen, unsigned char maclen, unsigned char *mac, unsigned char *state) {
  int i;
  unsigned char tmp[16];
  unsigned char msgtmp[16];
  ((unsigned long long *)msgtmp)[0] = adlen << 3;
  ((unsigned long long *)msgtmp)[1] = msglen << 3;
  {
    ((unsigned long long *)(msgtmp))[0] = ((unsigned long long *)(msgtmp))[0] ^ ((unsigned long long *)(state + 32))[0];
    ((unsigned long long *)(msgtmp))[1] = ((unsigned long long *)(msgtmp))[1] ^ ((unsigned long long *)(state + 32))[1];
  };
  for (i = 0; i < 7; i++) {
    memcpy(tmp, state + 112, 16);
    AESROUND(state + 112, state + 96, state + 112);
    AESROUND(state + 96, state + 80, state + 96);
    AESROUND(state + 80, state + 64, state + 80);
    AESROUND(state + 64, state + 48, state + 64);
    AESROUND(state + 48, state + 32, state + 48);
    AESROUND(state + 32, state + 16, state + 32);
    AESROUND(state + 16, state + 0, state + 16);
    AESROUND(state + 0, tmp, state + 0);
    {
      ((unsigned long long *)(state))[0] = ((unsigned long long *)(state))[0] ^ ((unsigned long long *)(msgtmp))[0];
      ((unsigned long long *)(state))[1] = ((unsigned long long *)(state))[1] ^ ((unsigned long long *)(msgtmp))[1];
    };
    {
      ((unsigned long long *)(state + 64))[0] = ((unsigned long long *)(state + 64))[0] ^ ((unsigned long long *)(msgtmp))[0];
      ((unsigned long long *)(state + 64))[1] = ((unsigned long long *)(state + 64))[1] ^ ((unsigned long long *)(msgtmp))[1];
    };
  }
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 80))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 80))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 64))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 64))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 48))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 48))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 32))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 32))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 16))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 16))[1];
  };
  {
    ((unsigned long long *)(state + 96))[0] = ((unsigned long long *)(state + 96))[0] ^ ((unsigned long long *)(state + 0))[0];
    ((unsigned long long *)(state + 96))[1] = ((unsigned long long *)(state + 96))[1] ^ ((unsigned long long *)(state + 0))[1];
  };
  memcpy(mac, state + 96, maclen);
}
```