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

```asm
<write_integer_lifted_supports>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x68,%rsp
  mov    %edi,-0x68(%rbp)
  mov    %esi,-0x7c(%rbp)
  mov    %rsp,%rcx
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  movslq %esi,%rax
  lea    0xf(,%rax,4),%rdx
  mov    %rdx,%rax
  and    $0xfffffffffffff000,%rdx
  sub    %rdx,%rcx
  and    $0xfffffffffffffff0,%rax
  cmp    %rcx,%rsp
  je     L99
L31:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L31
L99:
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  jne    L26
L41:
  mov    %rsp,%rbx
  lea    -0x3c(%rbp),%rdi
  mov    %rbx,%rsi
  mov    %rbx,-0x50(%rbp)
  call   <intcelcon_length_of_supports@plt>
  mov    -0x3c(%rbp),%esi
  lea    D20(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    D45(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  mov    -0x7c(%rbp),%eax
  test   %eax,%eax
  jle    L145
  mov    %rbx,%r12
  lea    D49(%rip),%r14
  lea    (%rbx,%rax,4),%rbx
  nop
L156:
  mov    (%r12),%esi
  mov    %r14,%rdi
  xor    %eax,%eax
  add    $0x4,%r12
  call   <printf@plt>
  cmp    %rbx,%r12
  jne    L156
  mov    $0xa,%edi
  call   <putchar@plt>
  movslq -0x68(%rbp),%rax
  movq   $0x1,-0x48(%rbp)
  mov    %rax,%rcx
  lea    0xf(,%rax,4),%rax
  sub    $0x1,%ecx
  mov    %rcx,-0x60(%rbp)
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rax
  and    $0xfffffffffffffff0,%rcx
  mov    %rax,-0x58(%rbp)
  mov    %rcx,-0x88(%rbp)
  nopw   0x0(%rax,%rax,1)
L62:
  mov    -0x48(%rbp),%rbx
  lea    D36(%rip),%rdi
  xor    %eax,%eax
  mov    %ebx,%esi
  mov    %ebx,-0x64(%rbp)
  call   <printf@plt>
  mov    -0x50(%rbp),%rax
  mov    -0x4(%rax,%rbx,4),%edx
  test   %edx,%edx
  jle    L30
  mov    -0x88(%rbp),%rax
  mov    $0x1,%r12d
  and    $0xfff,%eax
  mov    %rax,-0x70(%rbp)
  sub    $0x8,%rax
  mov    %rax,-0x78(%rbp)
  nopl   (%rax)
L53:
  mov    %rsp,%rax
  sub    -0x58(%rbp),%rax
  mov    %rsp,%r13
  cmp    %rax,%rsp
  je     L20
L94:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L94
L20:
  mov    -0x70(%rbp),%rax
  sub    %rax,%rsp
  test   %rax,%rax
  je     L67
  mov    -0x78(%rbp),%rax
  orq    $0x0,(%rsp,%rax,1)
L67:
  mov    %r12d,%esi
  lea    D6(%rip),%rdi
  xor    %eax,%eax
  mov    %rsp,%r15
  call   <printf@plt>
  mov    -0x68(%rbp),%ebx
  mov    -0x64(%rbp),%esi
  mov    %r15,%rcx
  mov    %r12d,%edx
  mov    %ebx,%edi
  call   <intcelcon_get_lifted_point@plt>
  test   %ebx,%ebx
  jle    L50
  mov    -0x60(%rbp),%rax
  lea    0x4(%r15,%rax,4),%rbx
  nopl   (%rax)
L142:
  mov    (%r15),%esi
  mov    %r14,%rdi
  xor    %eax,%eax
  add    $0x4,%r15
  call   <printf@plt>
  cmp    %r15,%rbx
  jne    L142
L50:
  mov    $0xa,%edi
  add    $0x1,%r12d
  call   <putchar@plt>
  mov    -0x50(%rbp),%rax
  mov    -0x48(%rbp),%rcx
  mov    %r13,%rsp
  mov    -0x4(%rax,%rcx,4),%edx
  cmp    %r12d,%edx
  jge    L53
L30:
  addq   $0x1,-0x48(%rbp)
  mov    -0x48(%rbp),%rax
  cmp    %eax,-0x7c(%rbp)
  jge    L62
L54:
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L74
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L26:
  orq    $0x0,-0x8(%rsp,%rax,1)
  jmp    L41
L145:
  mov    $0xa,%edi
  call   <putchar@plt>
  jmp    L54
L74:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D20
type_infered: string
name: parse_data
arguments: tag: D45
type_infered: string
name: parse_data
arguments: tag: D49
type_infered: string
name: parse_data
arguments: tag: D36
type_infered: string
name: parse_data
arguments: tag: D6
type_infered: string

tool: D20: Number of different supports retrieved : %d.


tool: D45: Length of each support :

tool: D49:  %d

tool: D36: Points in support %d :


tool: D6: -> point %d of %d :

assistant: ```c
void write_integer_lifted_supports(int n, int r, int *mix) {
  int fail, rr, i, j, k, m;
  int nb[r];
  fail = intcelcon_length_of_supports(&rr, nb);
  printf("Number of different supports retrieved : %d.\n", rr);
  printf("Length of each support :");
  for (i = 0; i < r; i++)
    printf(" %d", nb[i]);
  printf("\n");
  for (i = 1; i <= r; i++) {
    printf("Points in support %d :\n", i);
    for (j = 1; j <= nb[i - 1]; j++) {
      int point[n];
      printf("-> point %d of %d :", j, nb[i - 1]);
      fail = intcelcon_get_lifted_point(n, i, j, point);
      for (k = 0; k < n; k++)
        printf(" %d", point[k]);
      printf("\n");
    }
  }
}
```