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

```asm
<print_maze>:
  endbr64
  push   %r15
  xor    %eax,%eax
  push   %r14
  push   %r13
  lea    D80(%rip),%r13
  push   %r12
  lea    D61(%rip),%r12
  push   %rbp
  mov    %rdi,%rbp
  mov    %r12,%rdi
  push   %rbx
  sub    $0x18,%rsp
  call   <printf@plt>
  xor    %esi,%esi
  lea    0x1(%rsi),%ebx
  cmp    $0x9,%esi
  jbe    L180
  nopw   0x0(%rax,%rax,1)
L178:
  xor    %eax,%eax
  lea    D38(%rip),%rdi
  call   <printf@plt>
  cmp    $0x1e,%ebx
  je     L79
  mov    %ebx,%esi
L22:
  lea    0x1(%rsi),%ebx
  cmp    $0x9,%esi
  ja     L178
L180:
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    %ebx,%esi
  jmp    L22
L79:
  mov    $0xa,%edi
  add    $0x1e,%rbp
  lea    D6(%rip),%rbx
  call   <putchar@plt>
  movl   $0x0,0xc(%rsp)
  nopl   0x0(%rax,%rax,1)
L9:
  mov    0xc(%rsp),%esi
  cmp    $0x9,%esi
  jbe    L163
  mov    0xc(%rsp),%esi
  lea    D38(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
L112:
  lea    -0x1e(%rbp),%r15
  lea    D2(%rip),%r14
  lea    D55(%rip),%r13
  nopl   0x0(%rax)
L69:
  movzbl (%r15),%eax
  sub    $0x20,%eax
  cmp    $0x18,%al
  ja     L99
  movzbl %al,%eax
  movslq (%rbx,%rax,4),%rax
  add    %rbx,%rax
  notrack jmp *%rax
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <printf@plt>
L99:
  add    $0x1,%r15
  cmp    %r15,%rbp
  jne    L69
L51:
  mov    $0xa,%edi
  add    $0x1e,%rbp
  call   <putchar@plt>
  addl   $0x1,0xc(%rsp)
  mov    0xc(%rsp),%eax
  cmp    $0x17,%eax
  jne    L9
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  xchg   %ax,%ax
  lea    D93(%rip),%rdi
  xor    %eax,%eax
  add    $0x1,%r15
  call   <printf@plt>
  cmp    %r15,%rbp
  jne    L69
  jmp    L51
  nopl   0x0(%rax)
  mov    %r14,%rdi
  xor    %eax,%eax
  add    $0x1,%r15
  call   <printf@plt>
  cmp    %r15,%rbp
  jne    L69
  jmp    L51
  nopl   0x0(%rax)
  mov    %r13,%rdi
  xor    %eax,%eax
  add    $0x1,%r15
  call   <printf@plt>
  cmp    %r15,%rbp
  jne    L69
  jmp    L51
  nopl   0x0(%rax)
  lea    D9(%rip),%rdi
  xor    %eax,%eax
  add    $0x1,%r15
  call   <printf@plt>
  cmp    %r15,%rbp
  jne    L69
  jmp    L51
  lea    D91(%rip),%rdi
  xor    %eax,%eax
  add    $0x1,%r15
  call   <printf@plt>
  cmp    %r15,%rbp
  jne    L69
  jmp    L51
L163:
  lea    D101(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  jmp    L112
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D80
datatype: string
name: extract_symbolic_data
arguments: data_label: D61
datatype: string
name: extract_symbolic_data
arguments: data_label: D38
datatype: string
name: extract_symbolic_data
arguments: data_label: D2
datatype: string
name: extract_symbolic_data
arguments: data_label: D55
datatype: string
name: extract_symbolic_data
arguments: data_label: D93
datatype: string
name: extract_symbolic_data
arguments: data_label: D9
datatype: string
name: extract_symbolic_data
arguments: data_label: D91
datatype: string
name: extract_symbolic_data
arguments: data_label: D101
datatype: string

tool: D80:  %d 

tool: D61:    

tool: D38: %d 

tool: D2:  P 

tool: D55:  R 

tool: D93:  T 

tool: D9:  G 

tool: D91: [X]

tool: D101: %d  

assistant: ```c
void print_maze(char maze[23][30]) {
  int i, j, k;
  printf("   ");
  for (i = 0; i < 30; i++) {
    if (i < 10) {
      printf(" %d ", i);
    } else {
      printf("%d ", i);
    }
  }
  printf("\n");
  k = 0;
  for (i = 0; i < 23; i++) {
    if (k < 10) {
      printf("%d  ", k++);
    } else {
      printf("%d ", k++);
    }
    for (j = 0; j < 30; j++) {
      switch (maze[i][j]) {
      case '0':
        printf("[X]");
        break;
      case '7':
        printf("   ");
        break;
      case '6':
        printf("   ");
        break;
      case '3':
        printf(" G ");
        break;
      case '4':
        printf(" R ");
        break;
      case '5':
        printf(" P ");
        break;
      case '8':
        printf(" T ");
        break;
      case ' ':
        printf("   ");
        break;
      }
    }
    printf("\n");
  }
}
```