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

```asm
<lis>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r14
  lea    0x0(,%rsi,4),%r14d
  push   %r13
  push   %r12
  mov    %esi,%r12d
  push   %rbx
  mov    %rdi,%rbx
  mov    %r14d,%edi
  sub    $0x10,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x28(%rbp)
  xor    %eax,%eax
  call   <alloca@plt>
  mov    %r14d,%edi
  mov    %rax,%r13
  call   <alloca@plt>
  test   %r12d,%r12d
  jle    L26
  lea    0x4(%r13),%rdx
  mov    %rax,%r11
  sub    %rdx,%rax
  cmp    $0x8,%rax
  jbe    L6
  lea    -0x1(%r12),%eax
  cmp    $0x3,%eax
  jbe    L6
  mov    %r12d,%edx
  mov    %r11,%rcx
  movdqa D11(%rip),%xmm0
  movdqa D3(%rip),%xmm3
  shr    $0x2,%edx
  movdqa D7(%rip),%xmm2
  mov    %r13,%rax
  sub    %r13,%rcx
  shl    $0x4,%rdx
  add    %r13,%rdx
  nopl   0x0(%rax)
L71:
  movdqa %xmm0,%xmm1
  movups %xmm2,(%rax)
  paddd  %xmm3,%xmm0
  movups %xmm1,(%rcx,%rax,1)
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L71
  mov    %r12d,%eax
  and    $0xfffffffc,%eax
  test   $0x3,%r12b
  je     L47
  mov    %eax,%ecx
  movl   $0x1,0x0(%r13,%rcx,4)
  lea    0x0(,%rcx,4),%rdx
  mov    %eax,(%r11,%rcx,4)
  lea    0x1(%rax),%ecx
  cmp    %ecx,%r12d
  jle    L47
  movl   $0x1,0x4(%r13,%rdx,1)
  add    $0x2,%eax
  mov    %ecx,0x4(%r11,%rdx,1)
  cmp    %eax,%r12d
  jle    L47
  movl   $0x1,0x8(%r13,%rdx,1)
  mov    %eax,0x8(%r11,%rdx,1)
L47:
  cmp    $0x1,%r12d
  jle    L26
  mov    %r13,%r14
  lea    0x4(%rbx),%rsi
  sub    %rbx,%r11
  mov    $0x1,%edi
  sub    %rbx,%r14
  sub    %r13,%rbx
  mov    %rbx,%r8
  nopl   0x0(%rax)
L157:
  lea    (%r14,%rsi,1),%r9
  lea    (%r11,%rsi,1),%r10
  mov    %r13,%rax
  xor    %edx,%edx
  nopl   (%rax)
L59:
  mov    (%r8,%rax,1),%ebx
  cmp    %ebx,(%rsi)
  jle    L99
  mov    (%rax),%ecx
  cmp    (%r9),%ecx
  jl     L99
  add    $0x1,%ecx
  mov    %ecx,(%r9)
  mov    %edx,(%r10)
L99:
  add    $0x1,%edx
  add    $0x4,%rax
  cmp    %edi,%edx
  jne    L59
  lea    0x1(%rdx),%edi
  add    $0x4,%rsi
  cmp    %edi,%r12d
  jne    L157
  test   %r12d,%r12d
  mov    $0x1,%ecx
  cmovg  %r12d,%ecx
  cmp    $0x3,%r12d
  jle    L49
  mov    %ecx,%edx
  pxor   %xmm2,%xmm2
  mov    %r13,%rax
  shr    $0x2,%edx
  shl    $0x4,%rdx
  add    %r13,%rdx
  nopl   0x0(%rax,%rax,1)
L126:
  movdqu (%rax),%xmm0
  add    $0x10,%rax
  movdqa %xmm0,%xmm1
  pcmpgtd %xmm2,%xmm1
  pand   %xmm1,%xmm0
  pandn  %xmm2,%xmm1
  movdqa %xmm1,%xmm2
  por    %xmm0,%xmm2
  cmp    %rdx,%rax
  jne    L126
  movdqa %xmm2,%xmm0
  mov    %ecx,%edx
  psrldq $0x8,%xmm0
  and    $0xfffffffc,%edx
  and    $0x3,%ecx
  movdqa %xmm0,%xmm1
  pcmpgtd %xmm2,%xmm1
  pand   %xmm1,%xmm0
  pandn  %xmm2,%xmm1
  por    %xmm0,%xmm1
  movdqa %xmm1,%xmm2
  psrldq $0x4,%xmm2
  movdqa %xmm2,%xmm0
  pcmpgtd %xmm1,%xmm0
  pand   %xmm0,%xmm2
  pandn  %xmm1,%xmm0
  por    %xmm2,%xmm0
  movd   %xmm0,%eax
  je     L115
  movslq %edx,%rsi
  lea    0x0(,%rsi,4),%rcx
  mov    0x0(%r13,%rsi,4),%esi
  cmp    %esi,%eax
  cmovl  %esi,%eax
  add    $0x1,%edx
  cmp    %edx,%r12d
  jle    L115
L11:
  mov    0x4(%r13,%rcx,1),%esi
  cmp    %esi,%eax
  cmovl  %esi,%eax
  add    $0x1,%edx
  cmp    %edx,%r12d
  jle    L115
  mov    0x8(%r13,%rcx,1),%edx
  cmp    %edx,%eax
  cmovl  %edx,%eax
L115:
  mov    -0x28(%rbp),%rdx
  sub    %fs:0x28,%rdx
  jne    L114
  lea    -0x20(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %rbp
  ret
L6:
  mov    %r11,%rcx
  mov    %r13,%rdx
  xor    %eax,%eax
  sub    %r13,%rcx
  nopl   (%rax)
L8:
  movl   $0x1,(%rdx)
  mov    %eax,(%rcx,%rdx,1)
  add    $0x1,%eax
  add    $0x4,%rdx
  cmp    %eax,%r12d
  jne    L8
  jmp    L47
L26:
  cmp    $0x1,%r12d
  je     L113
  xor    %eax,%eax
  jmp    L115
L49:
  mov    0x0(%r13),%eax
  xor    %edx,%edx
  test   %eax,%eax
  cmovs  %edx,%eax
  mov    $0x1,%edx
  xor    %ecx,%ecx
  jmp    L11
L113:
  mov    0x0(%r13),%eax
  xor    %edx,%edx
  test   %eax,%eax
  cmovs  %edx,%eax
  jmp    L115
L114:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: label: D11
datatype: byte[16]
name: parse_data
arguments: label: D3
datatype: byte[16]
name: parse_data
arguments: label: D7
datatype: byte[16]

tool: {"D11": [0x00,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D3": [0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

tool: {"D7": [0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00]}

assistant: ```c
int lis(int *a, int N) {
  int *best, *prev, i, j, max = 0;
  best = (int *)alloca(sizeof(int) * N);
  prev = (int *)alloca(sizeof(int) * N);
  for (i = 0; i < N; i++)
    best[i] = 1, prev[i] = i;
  for (i = 1; i < N; i++)
    for (j = 0; j < i; j++)
      if (a[i] > a[j] && best[i] < best[j] + 1)
        best[i] = best[j] + 1, prev[i] = j;
  for (i = 0; i < N; i++)
    if (max < best[i])
      max = best[i];
  return max;
}
```