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

```asm
<c_print_results>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %r9d,%ebp
  push   %rbx
  sub    $0x68,%rsp
  mov    0xa8(%rsp),%rax
  mov    %esi,0xc(%rsp)
  mov    %rdi,%rsi
  lea    D132(%rip),%rdi
  mov    %edx,0x5c(%rsp)
  mov    0xa0(%rsp),%r15d
  mov    %rax,0x20(%rsp)
  mov    0xb0(%rsp),%eax
  mov    %r8d,0x54(%rsp)
  mov    0xe0(%rsp),%rbx
  mov    %eax,0x50(%rsp)
  mov    0xb8(%rsp),%rax
  mov    %ecx,0x58(%rsp)
  mov    0xe8(%rsp),%r14
  mov    %rax,0x28(%rsp)
  mov    0xc0(%rsp),%rax
  movsd  %xmm0,0x10(%rsp)
  mov    0xf0(%rsp),%r13
  mov    0xf8(%rsp),%r12
  mov    %rax,0x30(%rsp)
  mov    0xc8(%rsp),%rax
  movsd  %xmm1,0x18(%rsp)
  mov    %rax,0x38(%rsp)
  mov    0xd0(%rsp),%rax
  mov    %rax,0x40(%rsp)
  mov    0xd8(%rsp),%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  call   <printf@plt>
  movsbl 0xc(%rsp),%esi
  xor    %eax,%eax
  lea    D148(%rip),%rdi
  call   <printf@plt>
  mov    0x58(%rsp),%edx
  mov    0x54(%rsp),%r8d
  mov    0x5c(%rsp),%r10d
  mov    %edx,%eax
  or     %r8d,%eax
  jne    L39
  mov    %r10d,%esi
  lea    D22(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L35:
  mov    %ebp,%esi
  lea    D39(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15d,%esi
  lea    D65(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  movsd  0x10(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D202(%rip),%rdi
  call   <printf@plt>
  movsd  0x18(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D169(%rip),%rdi
  call   <printf@plt>
  mov    0x20(%rsp),%rsi
  lea    D32(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x50(%rsp),%eax
  test   %eax,%eax
  je     L17
  lea    D56(%rip),%rdi
  call   <puts@plt>
L9:
  mov    0x28(%rsp),%rsi
  lea    D178(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x30(%rsp),%rsi
  lea    D203(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D35(%rip),%rdi
  call   <puts@plt>
  mov    0x38(%rsp),%rsi
  lea    D29(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x40(%rsp),%rsi
  lea    D209(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x48(%rsp),%rsi
  lea    D67(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbx,%rsi
  lea    D156(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r14,%rsi
  lea    D96(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r13,%rsi
  lea    D51(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x68,%rsp
  mov    %r12,%rsi
  xor    %eax,%eax
  pop    %rbx
  lea    D190(%rip),%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <printf@plt>
  nopl   0x0(%rax,%rax,1)
L39:
  mov    %r8d,%ecx
  mov    %r10d,%esi
  lea    D58(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L35
  nopl   0x0(%rax)
L17:
  lea    D41(%rip),%rdi
  call   <puts@plt>
  jmp    L9
```

tool_calls: name: retrieve_data
arguments: label: D132
datatype: string
name: retrieve_data
arguments: label: D148
datatype: string
name: retrieve_data
arguments: label: D22
datatype: string
name: retrieve_data
arguments: label: D39
datatype: string
name: retrieve_data
arguments: label: D65
datatype: string
name: retrieve_data
arguments: label: D202
datatype: string
name: retrieve_data
arguments: label: D169
datatype: string
name: retrieve_data
arguments: label: D32
datatype: string
name: retrieve_data
arguments: label: D56
datatype: string
name: retrieve_data
arguments: label: D178
datatype: string
name: retrieve_data
arguments: label: D203
datatype: string
name: retrieve_data
arguments: label: D35
datatype: string
name: retrieve_data
arguments: label: D29
datatype: string
name: retrieve_data
arguments: label: D209
datatype: string
name: retrieve_data
arguments: label: D67
datatype: string
name: retrieve_data
arguments: label: D156
datatype: string
name: retrieve_data
arguments: label: D96
datatype: string
name: retrieve_data
arguments: label: D51
datatype: string
name: retrieve_data
arguments: label: D190
datatype: string
name: retrieve_data
arguments: label: D58
datatype: string
name: retrieve_data
arguments: label: D41
datatype: string

tool: D132: 

 %s Benchmark Completed


tool: D148:  Class           =                        %c


tool: D22:  Size            =             %12d


tool: D39:  Iterations      =             %12d


tool: D65:  Threads         =             %12d


tool: D202:  Time in seconds =             %12.2f


tool: D169:  Mop/s total     =             %12.2f


tool: D32:  Operation type  = %24s


tool: D56:  Verification    =               SUCCESSFUL

tool: D178:  Version         =             %12s


tool: D203:  Compile date    =             %12s


tool: D35: 
 Compile options:

tool: D29:     CC           = %s


tool: D209:     CLINK        = %s


tool: D67:     C_LIB        = %s


tool: D156:     C_INC        = %s


tool: D96:     CFLAGS       = %s


tool: D51:     CLINKFLAGS   = %s


tool: D190:     RAND         = %s


tool: D58:  Size            =              %3dx%3dx%3d


tool: D41:  Verification    =             UNSUCCESSFUL

assistant: ```c
void c_print_results(char *name, char cclass, int n1, int n2, int n3, int niter, int nthreads, double t, double mops, char *optype, int passed_verification, char *npbversion, char *compiletime, char *cc, char *clink, char *c_lib, char *c_inc, char *cflags, char *clinkflags, char *rand) {
  char *evalue = "1000";
  printf("\n\n %s Benchmark Completed\n", name);
  printf(" Class           =                        %c\n", cclass);
  if (n2 == 0 && n3 == 0)
    printf(" Size            =             %12d\n", n1);
  else
    printf(" Size            =              %3dx%3dx%3d\n", n1, n2, n3);
  printf(" Iterations      =             %12d\n", niter);
  printf(" Threads         =             %12d\n", nthreads);
  printf(" Time in seconds =             %12.2f\n", t);
  printf(" Mop/s total     =             %12.2f\n", mops);
  printf(" Operation type  = %24s\n", optype);
  if (passed_verification)
    printf(" Verification    =               SUCCESSFUL\n");
  else
    printf(" Verification    =             UNSUCCESSFUL\n");
  printf(" Version         =             %12s\n", npbversion);
  printf(" Compile date    =             %12s\n", compiletime);
  printf("\n Compile options:\n");
  printf("    CC           = %s\n", cc);
  printf("    CLINK        = %s\n", clink);
  printf("    C_LIB        = %s\n", c_lib);
  printf("    C_INC        = %s\n", c_inc);
  printf("    CFLAGS       = %s\n", cflags);
  printf("    CLINKFLAGS   = %s\n", clinkflags);
  printf("    RAND         = %s\n", rand);
}
```