user: Please show me the C implementation that matches the assembly code listed below:

```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    D208(%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    D44(%rip),%rdi
  call   <printf@plt>
  mov    0x58(%rsp),%edx
  mov    0x54(%rsp),%r8d
  mov    0x5c(%rsp),%r10d
  mov    %edx,%eax
  or     %r8d,%eax
  jne    L6
  mov    %r10d,%esi
  lea    D157(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L37:
  mov    %ebp,%esi
  lea    D74(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r15d,%esi
  lea    D98(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  movsd  0x10(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D45(%rip),%rdi
  call   <printf@plt>
  movsd  0x18(%rsp),%xmm0
  mov    $0x1,%eax
  lea    D119(%rip),%rdi
  call   <printf@plt>
  mov    0x20(%rsp),%rsi
  lea    D96(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x50(%rsp),%eax
  test   %eax,%eax
  je     L38
  lea    D193(%rip),%rdi
  call   <puts@plt>
L18:
  mov    0x28(%rsp),%rsi
  lea    D67(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x30(%rsp),%rsi
  lea    D0(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D121(%rip),%rdi
  call   <puts@plt>
  mov    0x38(%rsp),%rsi
  lea    D188(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x40(%rsp),%rsi
  lea    D101(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x48(%rsp),%rsi
  lea    D79(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %rbx,%rsi
  lea    D182(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r14,%rsi
  lea    D15(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r13,%rsi
  lea    D106(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x68,%rsp
  mov    %r12,%rsi
  xor    %eax,%eax
  pop    %rbx
  lea    D180(%rip),%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <printf@plt>
  nopl   0x0(%rax,%rax,1)
L6:
  mov    %r8d,%ecx
  mov    %r10d,%esi
  lea    D1(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L37
  nopl   0x0(%rax)
L38:
  lea    D133(%rip),%rdi
  call   <puts@plt>
  jmp    L18
```

tool_calls: name: extract_symbolic_data
arguments: label: D208
data_type: string
name: extract_symbolic_data
arguments: label: D44
data_type: string
name: extract_symbolic_data
arguments: label: D157
data_type: string
name: extract_symbolic_data
arguments: label: D74
data_type: string
name: extract_symbolic_data
arguments: label: D98
data_type: string
name: extract_symbolic_data
arguments: label: D45
data_type: string
name: extract_symbolic_data
arguments: label: D119
data_type: string
name: extract_symbolic_data
arguments: label: D96
data_type: string
name: extract_symbolic_data
arguments: label: D193
data_type: string
name: extract_symbolic_data
arguments: label: D67
data_type: string
name: extract_symbolic_data
arguments: label: D0
data_type: string
name: extract_symbolic_data
arguments: label: D121
data_type: string
name: extract_symbolic_data
arguments: label: D188
data_type: string
name: extract_symbolic_data
arguments: label: D101
data_type: string
name: extract_symbolic_data
arguments: label: D79
data_type: string
name: extract_symbolic_data
arguments: label: D182
data_type: string
name: extract_symbolic_data
arguments: label: D15
data_type: string
name: extract_symbolic_data
arguments: label: D106
data_type: string
name: extract_symbolic_data
arguments: label: D180
data_type: string
name: extract_symbolic_data
arguments: label: D1
data_type: string
name: extract_symbolic_data
arguments: label: D133
data_type: string

tool: D208: 

 %s Benchmark Completed


tool: D44:  Class           =                        %c


tool: D157:  Size            =             %12d


tool: D74:  Iterations      =             %12d


tool: D98:  Threads         =             %12d


tool: D45:  Time in seconds =             %12.2f


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


tool: D96:  Operation type  = %24s


tool: D193:  Verification    =               SUCCESSFUL

tool: D67:  Version         =             %12s


tool: D0:  Compile date    =             %12s


tool: D121: 
 Compile options:

tool: D188:     CC           = %s


tool: D101:     CLINK        = %s


tool: D79:     C_LIB        = %s


tool: D182:     C_INC        = %s


tool: D15:     CFLAGS       = %s


tool: D106:     CLINKFLAGS   = %s


tool: D180:     RAND         = %s


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


tool: D133:  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);
}
```