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

```asm
<main>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xa0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x98(%rsp)
  xor    %eax,%eax
  movabs $0x79525edd7ddab9dd,%rax
  movabs $0xa4905fda5ced3027,%rdx
  mov    %rax,(%rsp)
  mov    %rdx,0x8(%rsp)
  mov    $0x0,%eax
  call   <poly1305_power_on_self_test@plt>
  test   %eax,%eax
  jne    L52
  lea    D33(%rip),%rsi
  lea    D38(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x1,%eax
  jmp    L47
L52:
  lea    D22(%rip),%rsi
  lea    D38(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x20(%rsp),%rdx
  lea    0x40(%rsp),%rsi
  mov    %rdx,%rax
  mov    $0xffffffdd,%ecx
  sub    %edx,%ecx
L43:
  lea    (%rcx,%rax,1),%edx
  mov    %dl,(%rax)
  add    $0x1,%rax
  cmp    %rsi,%rax
  jne    L43
  lea    0x40(%rsp),%rdx
  lea    0x89(%rsp),%rsi
  mov    %rdx,%rax
  mov    $0x79,%ecx
  sub    %edx,%ecx
L24:
  lea    (%rcx,%rax,1),%edx
  mov    %dl,(%rax)
  add    $0x1,%rax
  cmp    %rsi,%rax
  jne    L24
  lea    0x20(%rsp),%rcx
  lea    0x40(%rsp),%rsi
  lea    0x10(%rsp),%rbx
  mov    $0x49,%edx
  mov    %rbx,%rdi
  call   <poly1305_auth@plt>
  lea    D64(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    0x20(%rsp),%r12
  lea    D9(%rip),%rbp
L42:
  movzbl (%rbx),%esi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  add    $0x1,%rbx
  cmp    %rbx,%r12
  jne    L42
  lea    0x10(%rsp),%rsi
  mov    %rsp,%rdi
  call   <poly1305_verify@plt>
  test   %rax,%rax
  lea    D60(%rip),%rsi
  lea    D59(%rip),%rax
  cmove  %rax,%rsi
  lea    D42(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    $0x0,%eax
L47:
  mov    0x98(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L28
  add    $0xa0,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L28:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: label: D33
datatype: string
name: retrieve_data
arguments: label: D38
datatype: string
name: retrieve_data
arguments: label: D22
datatype: string
name: retrieve_data
arguments: label: D64
datatype: string
name: retrieve_data
arguments: label: D9
datatype: string
name: retrieve_data
arguments: label: D60
datatype: string
name: retrieve_data
arguments: label: D59
datatype: string
name: retrieve_data
arguments: label: D42
datatype: string

tool: D33: failed

tool: D38: poly1305 self test: %s


tool: D22: successful

tool: D64: sample mac is 

tool: D9: %02x

tool: D60: correct

tool: D59: incorrect

tool: D42:  (%s)


assistant: ```c
int main(void) {
  const unsigned char expected[16] = {0xdd, 0xb9, 0xda, 0x7d, 0xdd, 0x5e, 0x52, 0x79, 0x27, 0x30, 0xed, 0x5c, 0xda, 0x5f, 0x90, 0xa4};
  unsigned char key[32];
  unsigned char mac[16];
  unsigned char msg[73];
  size_t i;
  int success = poly1305_power_on_self_test();
  printf("poly1305 self test: %s\n", success ? "successful" : "failed");
  if (!success)
    return 1;
  for (i = 0; i < sizeof(key); i++)
    key[i] = (unsigned char)(i + 221);
  for (i = 0; i < sizeof(msg); i++)
    msg[i] = (unsigned char)(i + 121);
  poly1305_auth(mac, msg, sizeof(msg), key);
  printf("sample mac is ");
  for (i = 0; i < sizeof(mac); i++)
    printf("%02x", mac[i]);
  printf(" (%s)\n", poly1305_verify(expected, mac) ? "correct" : "incorrect");
  return 0;
}
```