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

```asm
<permute_print_info>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  mov    %edi,-0x4(%rbp)
  mov    %esi,-0x8(%rbp)
  mov    %edx,-0xc(%rbp)
  mov    %ecx,-0x10(%rbp)
  mov    %r8d,-0x14(%rbp)
  mov    %r9d,-0x18(%rbp)
  cmpl   $0x1,-0x4(%rbp)
  jle    L9
  lea    D138(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x8(%rbp),%eax
  mov    %eax,%esi
  lea    D128(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0xc(%rbp),%eax
  mov    %eax,%esi
  lea    D116(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x10(%rbp),%eax
  mov    %eax,%esi
  lea    D31(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x18(%rbp),%eax
  mov    %eax,%esi
  lea    D70(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x20(%rbp),%eax
  mov    %eax,%esi
  lea    D28(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x28(%rbp),%eax
  mov    %eax,%esi
  lea    D13(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  lea    D61(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
  mov    -0x14(%rbp),%eax
  mov    %eax,%esi
  lea    D146(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    -0x18(%rbp),%eax
  mov    %eax,%esi
  lea    D127(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x10(%rbp),%esi
  lea    D95(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x30(%rbp),%eax
  mov    %eax,%esi
  lea    D8(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x38(%rbp),%eax
  mov    %eax,%esi
  lea    D52(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  mov    0x40(%rbp),%eax
  mov    %eax,%esi
  lea    D125(%rip),%rax
  mov    %rax,%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  jmp    L11
L9:
  lea    D91(%rip),%rax
  mov    %rax,%rdi
  call   <puts@plt>
L11:
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D138
data_type: string
name: extract_symbolic_data
arguments: label: D128
data_type: string
name: extract_symbolic_data
arguments: label: D116
data_type: string
name: extract_symbolic_data
arguments: label: D31
data_type: string
name: extract_symbolic_data
arguments: label: D70
data_type: string
name: extract_symbolic_data
arguments: label: D28
data_type: string
name: extract_symbolic_data
arguments: label: D13
data_type: string
name: extract_symbolic_data
arguments: label: D61
data_type: string
name: extract_symbolic_data
arguments: label: D146
data_type: string
name: extract_symbolic_data
arguments: label: D127
data_type: string
name: extract_symbolic_data
arguments: label: D95
data_type: string
name: extract_symbolic_data
arguments: label: D8
data_type: string
name: extract_symbolic_data
arguments: label: D52
data_type: string
name: extract_symbolic_data
arguments: label: D125
data_type: string
name: extract_symbolic_data
arguments: label: D91
data_type: string

tool: D138: lib_vio> Map parameters BEFORE selected axis permutation: 

tool: D128: lib_vio>       NC = %8d  (# columns)


tool: D116: lib_vio>       NR = %8d  (# rows)


tool: D31: lib_vio>       NS = %8d  (# sections)


tool: D70: lib_vio>  NCSTART = %8d  (index of first column, counting from 0)


tool: D28: lib_vio>  NRSTART = %8d  (index of first row, counting from 0)


tool: D13: lib_vio>  NSSTART = %8d  (index of first section, counting from 0)


tool: D61: lib_vio> Map parameters AFTER selected axis permutation: 

tool: D146: lib_vio>       NX = %8d  (# X fields)


tool: D127: lib_vio>       NY = %8d  (# Y fields)


tool: D95: lib_vio>       NZ = %8d  (# Z fields)


tool: D8: lib_vio>  NXSTART = %8d  (X index of first voxel, counting from 0)


tool: D52: lib_vio>  NYSTART = %8d  (Y index of first voxel, counting from 0)


tool: D125: lib_vio>  NZSTART = %8d  (Z index of first voxel, counting from 0)


tool: D91: lib_vio> C,R,S = X,Y,Z (no axis permutation). 

assistant: ```c
void permute_print_info(int ordermode, unsigned nc, unsigned nr, unsigned ns, unsigned nx, unsigned ny, unsigned nz, int ncstart, int nrstart, int nsstart, int nxstart, int nystart, int nzstart) {
  if (ordermode > 1) {
    printf("lib_vio> Map parameters BEFORE selected axis permutation: \n");
    printf("lib_vio>       NC = %8d  (# columns)\n", nc);
    printf("lib_vio>       NR = %8d  (# rows)\n", nr);
    printf("lib_vio>       NS = %8d  (# sections)\n", ns);
    printf("lib_vio>  NCSTART = %8d  (index of first column, counting from 0)\n", ncstart);
    printf("lib_vio>  NRSTART = %8d  (index of first row, counting from 0)\n", nrstart);
    printf("lib_vio>  NSSTART = %8d  (index of first section, counting from 0)\n", nsstart);
    printf("lib_vio> Map parameters AFTER selected axis permutation: \n");
    printf("lib_vio>       NX = %8d  (# X fields)\n", nx);
    printf("lib_vio>       NY = %8d  (# Y fields)\n", ny);
    printf("lib_vio>       NZ = %8d  (# Z fields)\n", nz);
    printf("lib_vio>  NXSTART = %8d  (X index of first voxel, counting from 0)\n", nxstart);
    printf("lib_vio>  NYSTART = %8d  (Y index of first voxel, counting from 0)\n", nystart);
    printf("lib_vio>  NZSTART = %8d  (Z index of first voxel, counting from 0)\n", nzstart);
  } else {
    printf("lib_vio> C,R,S = X,Y,Z (no axis permutation). \n");
  }
}
```