user: What is the c source code of the assembly code below:

```asm
<print_core>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,%r15d
  mov    %edi,0xc(%rsp)
  mov    %esi,%ebp
  mov    %esi,0x4(%rsp)
  mov    %edx,%ebx
  mov    %ecx,%r14d
  mov    $0xa,%edi
  call   <putchar@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  lea    D5(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  movl   $0x0,0x8(%rsp)
  mov    $0x0,%r13d
  add    $0x1,%r15d
  jmp    L38
L51:
  mov    %r15d,%edi
  call   <tabs@plt>
  lea    D39(%rip),%rdi
  call   <puts@plt>
  jmp    L63
L20:
  mov    %r14d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  call   <printTIX2@plt>
L141:
  mov    $0x0,%r12d
  jmp    L9
L114:
  mov    %r14d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  call   <printTIX3@plt>
  jmp    L141
L87:
  mov    %r14d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  call   <printTIX4@plt>
  jmp    L141
L31:
  mov    %r14d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  call   <printCMIX30@plt>
L101:
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  call   <printSMIX@plt>
  add    $0x1,%r12d
  cmp    %r12d,0x4(%rsp)
  jle    L44
L9:
  lea    -0x3(%r13,%rbx,1),%eax
  cltd
  idiv   %ebx
  mov    %edx,%ebp
  mov    %edx,%r13d
  cmp    $0x1e,%ebx
  je     L31
  cmp    $0x24,%ebx
  jne    L101
  mov    %r14d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  call   <printCMIX36@plt>
  jmp    L101
L107:
  addl   $0x1,0x8(%rsp)
  mov    0x8(%rsp),%eax
  mov    %r14d,%edx
  mov    %eax,%esi
  mov    %r15d,%edi
  call   <printNEXT@plt>
  mov    %r15d,%edi
  call   <tabs@plt>
  lea    D16(%rip),%rdi
  call   <puts@plt>
L38:
  mov    0xc(%rsp),%edi
  call   <tabs@plt>
  mov    0x8(%rsp),%esi
  lea    D3(%rip),%rdi
  mov    $0x0,%eax
  call   <printf@plt>
  test   %r14d,%r14d
  je     L51
L63:
  mov    0x4(%rsp),%eax
  cmp    $0x3,%eax
  je     L114
  cmp    $0x4,%eax
  je     L87
  cmp    $0x2,%eax
  je     L20
  cmpl   $0x0,0x4(%rsp)
  jg     L141
L44:
  test   %r13d,%r13d
  jne    L107
  mov    0xc(%rsp),%ebx
  add    $0x1,%ebx
  mov    %r14d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  call   <printNEXT@plt>
  mov    %ebx,%edi
  call   <tabs@plt>
  lea    D16(%rip),%rdi
  call   <puts@plt>
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: tag: D5
datatype: string
name: read_data
arguments: tag: D39
datatype: string
name: read_data
arguments: tag: D16
datatype: string
name: read_data
arguments: tag: D3
datatype: string

tool: D5: /* k=%d s=%d */


tool: D39: q = p;

tool: D16: /* fall through */

tool: D3: case %d:


assistant: ```c
void print_core(int shift, int k, int s, int java) {
  int i, cc;
  i = 0;
  cc = 0;
  printf("\n");
  printf("/* k=%d s=%d */\n", k, s);
  do {
    int z;
    tabs(shift);
    printf("case %d:\n", cc);
    if (!java) {
      tabs(shift + 1);
      printf("q = p;\n");
    }
    switch (k) {
    case 2:
      printTIX2(shift + 1, i, java);
      break;
    case 3:
      printTIX3(shift + 1, i, java);
      break;
    case 4:
      printTIX4(shift + 1, i, java);
      break;
    }
    for (z = 0; z < k; z++) {
      i = (i + s - 3) % s;
      switch (s) {
      case 30:
        printCMIX30(shift + 1, i, java);
        break;
      case 36:
        printCMIX36(shift + 1, i, java);
        break;
      }
      printSMIX(shift + 1, i, s, java);
    }
    cc++;
    if (i == 0)
      cc = 0;
    printNEXT(shift + 1, cc, java);
    tabs(shift + 1);
    printf("/* fall through */\n");
  } while (i != 0);
}
```