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

```asm
<challenge3>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x78,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  lea    D7(%rip),%rdi
  call   <puts@plt>
  movabs $0x3333373337336231,%rax
  movabs $0x3837663336333133,%rdx
  mov    %rax,-0x80(%rbp)
  mov    %rdx,-0x78(%rbp)
  movabs $0x6232663762313531,%rax
  movabs $0x3333313334333837,%rdx
  mov    %rax,-0x70(%rbp)
  mov    %rdx,-0x68(%rbp)
  movabs $0x3837393338376433,%rax
  movabs $0x3633643237333832,%rdx
  mov    %rax,-0x60(%rbp)
  mov    %rdx,-0x58(%rbp)
  movabs $0x6533373338376333,%rax
  movabs $0x6233393361333837,%rdx
  mov    %rax,-0x50(%rbp)
  mov    %rdx,-0x48(%rbp)
  movl   $0x36333733,-0x40(%rbp)
  movb   $0x0,-0x3c(%rbp)
  lea    -0x80(%rbp),%rdi
  call   <counthex@plt>
  mov    %eax,%r15d
  movslq %eax,%rbx
  lea    0xf(%rbx),%rax
  mov    %rax,%rdx
  and    $0xfffffffffffffff0,%rdx
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rcx
  sub    %rax,%rcx
L104:
  cmp    %rcx,%rsp
  je     L78
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L104
L78:
  mov    %rdx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L14
  orq    $0x0,-0x8(%rsp,%rax,1)
L14:
  mov    %rsp,-0x98(%rbp)
  lea    -0x80(%rbp),%rdi
  mov    %rsp,%rsi
  call   <str2hex@plt>
  mov    %r15d,%esi
  mov    %rsp,%rdi
  call   <printhex@plt>
  add    $0xf,%rbx
  mov    %rbx,%rax
  and    $0xfffffffffffffff0,%rax
  and    $0xfffffffffffff000,%rbx
  mov    %rsp,%rdx
  sub    %rbx,%rdx
L8:
  cmp    %rdx,%rsp
  je     L80
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L8
L80:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  je     L84
  orq    $0x0,-0x8(%rsp,%rdx,1)
L84:
  mov    %rsp,%r13
  test   %r15d,%r15d
  mov    $0x0,%eax
  cmovns %r15d,%eax
  mov    %eax,-0x90(%rbp)
  mov    $0x0,%ebx
  movl   $0x0,-0x8c(%rbp)
  lea    0x1(%r15),%eax
  cltq
  add    $0xf,%rax
  mov    %rax,%rdi
  and    $0xfffffffffffffff0,%rdi
  mov    %rdi,-0xa0(%rbp)
  and    $0xfffffffffffff000,%rax
  mov    %rax,-0x88(%rbp)
  jmp    L97
L25:
  mov    -0xa0(%rbp),%rdi
  mov    %rdi,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L134
  mov    %rdi,%rax
  and    $0xfff,%eax
  orq    $0x0,-0x8(%rsp,%rax,1)
L134:
  mov    %rsp,%r12
  mov    %rsp,%rcx
  mov    %ebx,%edx
  mov    %r15d,%esi
  mov    -0x98(%rbp),%rdi
  call   <xorarray@plt>
  mov    %rsp,%rdi
  call   <scorearray@plt>
  cmp    -0x8c(%rbp),%eax
  jle    L65
  test   %r15d,%r15d
  jle    L72
  mov    %r15d,%esi
  mov    $0x0,%edx
L115:
  movzbl (%r12,%rdx,1),%ecx
  mov    %cl,0x0(%r13,%rdx,1)
  add    $0x1,%rdx
  cmp    %rsi,%rdx
  jne    L115
L72:
  movslq -0x90(%rbp),%rdx
  movb   $0x0,0x0(%r13,%rdx,1)
  mov    %eax,-0x8c(%rbp)
L65:
  mov    %r14,%rsp
  add    $0x1,%ebx
  cmp    $0x100,%ebx
  je     L58
L97:
  mov    %rsp,%r14
  mov    %rsp,%rax
  sub    -0x88(%rbp),%rax
L48:
  cmp    %rax,%rsp
  je     L25
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L48
L58:
  mov    -0x8c(%rbp),%esi
  lea    D2(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    %r13,%rsi
  lea    D6(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L2
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L2:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_label: D7
type: string
name: disassemble_data
arguments: data_label: D2
type: string
name: disassemble_data
arguments: data_label: D6
type: string

tool: D7: 
challenge 3:

tool: D2: topscore = '%d'


tool: D6: result = '%s'


assistant: ```c
void challenge3() {
  printf("\nchallenge 3:\n");
  char in[] = "1b37373331363f78151b7f2b783431333d"
              "78397828372d363c78373e783a393b3736";
  int size = counthex(in);
  unsigned char hex[size];
  str2hex(in, hex);
  printhex(hex, size);
  int topscore = 0;
  char top[size];
  int c;
  for (c = 0; c <= 255; c++) {
    char current[size + 1];
    xorarray(hex, size, c, current);
    int score = scorearray(current);
    if (score > topscore) {
      topscore = score;
      int i;
      for (i = 0; i < size; i++)
        top[i] = current[i];
      top[i] = '\0';
    }
  }
  printf("topscore = '%d'\n", topscore);
  printf("result = '%s'\n", top);
}
```