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

```asm
<permute_print_info>:
  endbr64
  push   %r15
  push   %r14
  mov    %edx,%r14d
  push   %r13
  mov    %ecx,%r13d
  push   %r12
  mov    %r8d,%r12d
  push   %rbp
  mov    %r9d,%ebp
  push   %rbx
  sub    $0x28,%rsp
  mov    0x60(%rsp),%r10d
  mov    0x68(%rsp),%ecx
  mov    0x70(%rsp),%edx
  mov    0x78(%rsp),%r11d
  mov    0x80(%rsp),%r9d
  mov    0x88(%rsp),%r8d
  mov    %r10d,0x1c(%rsp)
  mov    %ecx,0x18(%rsp)
  mov    0x90(%rsp),%ebx
  mov    %edx,0x14(%rsp)
  mov    %r11d,0x10(%rsp)
  mov    %r9d,0xc(%rsp)
  mov    %r8d,0x8(%rsp)
  cmp    $0x1,%edi
  jle    L1
  mov    %esi,%r15d
  lea    D17(%rip),%rdi
  call   <puts@plt>
  mov    %r15d,%esi
  lea    D92(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r14d,%esi
  lea    D0(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %r13d,%esi
  lea    D56(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x18(%rsp),%esi
  lea    D61(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x14(%rsp),%esi
  lea    D113(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x10(%rsp),%esi
  lea    D124(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D148(%rip),%rdi
  call   <puts@plt>
  mov    %r12d,%esi
  lea    D97(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %ebp,%esi
  lea    D47(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x1c(%rsp),%esi
  lea    D50(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0xc(%rsp),%esi
  lea    D34(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    0x8(%rsp),%esi
  lea    D146(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  add    $0x28,%rsp
  mov    %ebx,%esi
  xor    %eax,%eax
  pop    %rbx
  lea    D145(%rip),%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <printf@plt>
  nopl   (%rax)
L1:
  add    $0x28,%rsp
  lea    D51(%rip),%rdi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1060 <puts@plt>
```

tool_calls: name: read_data
arguments: data_label: D17
type: string
name: read_data
arguments: data_label: D92
type: string
name: read_data
arguments: data_label: D0
type: string
name: read_data
arguments: data_label: D56
type: string
name: read_data
arguments: data_label: D61
type: string
name: read_data
arguments: data_label: D113
type: string
name: read_data
arguments: data_label: D124
type: string
name: read_data
arguments: data_label: D148
type: string
name: read_data
arguments: data_label: D97
type: string
name: read_data
arguments: data_label: D47
type: string
name: read_data
arguments: data_label: D50
type: string
name: read_data
arguments: data_label: D34
type: string
name: read_data
arguments: data_label: D146
type: string
name: read_data
arguments: data_label: D145
type: string
name: read_data
arguments: data_label: D51
type: string

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

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


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


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


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


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


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


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

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


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


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


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


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


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


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