user: Demonstrate the C code that generates the assembly output below:

```asm
<process_format_caps>:
  endbr64
  push   %r15
  mov    %esi,%r15d
  mov    $0xff,%esi
  push   %r14
  mov    %r8,%r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %edx,%ebp
  push   %rbx
  mov    %r9,%rbx
  sub    $0x48,%rsp
  mov    %rcx,0x8(%rsp)
  mov    %r8,0x10(%rsp)
  mov    %r9,0x18(%rsp)
  mov    %rdi,0x20(%rsp)
  mov    %rcx,%rdi
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  call   <bzero@plt>
  mov    $0x3fc,%esi
  mov    %r14,%rdi
  call   <bzero@plt>
  mov    %rbx,%rdi
  mov    $0x3fc,%esi
  call   <bzero@plt>
  mov    0x20(%rsp),%r10
  lea    -0x4(%r15),%edx
  lea    0x10(%r10),%rbx
  test   %ebp,%ebp
  jne    L44
L19:
  test   %edx,%edx
  jle    L33
  sub    $0x5,%r15d
  shr    $0x3,%r15d
  shl    $0x5,%r15
  lea    0x30(%r10,%r15,1),%rax
  lea    0x34(%rsp),%r15
  mov    %rax,0x20(%rsp)
  mov    %r15,%r13
  nopl   0x0(%rax,%rax,1)
L17:
  mov    0x8(%rbx),%r12d
  mov    0x4(%rbx),%eax
  mov    %r13,%r9
  mov    %ebp,%r8d
  mov    0x10(%rbx),%ecx
  mov    0x18(%rbx),%edx
  add    $0x20,%rbx
  shl    $0x10,%eax
  shl    $0x8,%r12d
  or     %eax,%r12d
  mov    -0x20(%rbx),%eax
  or     -0x14(%rbx),%r12d
  mov    %ecx,%r15d
  sar    $0x2,%r15d
  shl    $0x8,%edx
  and    $0x3,%ecx
  shl    $0x18,%eax
  mov    %r15d,%edi
  or     %eax,%r12d
  mov    -0xc(%rbx),%eax
  mov    %r12d,%esi
  shl    $0x10,%eax
  or     %eax,%edx
  or     -0x4(%rbx),%edx
  mov    %edx,%r14d
  call   <print_format@plt>
  mov    0x8(%rsp),%rax
  movslq %r15d,%rdi
  movl   $0x1,(%rax,%rdi,4)
  mov    0x10(%rsp),%rax
  mov    %r12d,(%rax,%rdi,4)
  mov    0x18(%rsp),%rax
  mov    %r14d,(%rax,%rdi,4)
  cmp    0x20(%rsp),%rbx
  jne    L17
L33:
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L15
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L44:
  mov    %edx,%esi
  lea    D0(%rip),%rdi
  mov    %r10,0x28(%rsp)
  mov    %edx,0x20(%rsp)
  call   <printf@plt>
  mov    0x28(%rsp),%r10
  mov    0x20(%rsp),%edx
  jmp    L19
L15:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D0
type_guessed: string

tool: D0: 	Current/max capacity followed by additional capacity,reported length of %d bytes (8/entry)


assistant: ```c
void process_format_caps(uint8_t *buf, int list_length, int verbose, uint8_t *allow, uint32_t *blks, uint32_t *params) {
  uint32_t num_blks, param;
  uint8_t *fcd;
  int dscr_type, format_tp;
  int supported;
  bzero(allow, 255);
  bzero(blks, 255 * 4);
  bzero(params, 255 * 4);
  fcd = buf + 4;
  list_length -= 4;
  if (verbose)
    printf("\tCurrent/max capacity followed by additional capacity,"
           "reported length of %d bytes (8/entry)\n",
           list_length);
  while (list_length > 0) {
    num_blks = fcd[3] | (fcd[2] << 8) | (fcd[1] << 16) | (fcd[0] << 24);
    dscr_type = fcd[4] & 3;
    format_tp = fcd[4] >> 2;
    param = fcd[7] | (fcd[6] << 8) | (fcd[5] << 16);
    print_format(format_tp, num_blks, param, dscr_type, verbose, &supported);
    allow[format_tp] = 1;
    blks[format_tp] = num_blks;
    params[format_tp] = param;
    fcd += 8;
    list_length -= 8;
  }
}
```