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

```asm
<hpmpc_d_ip_ocp_hard_tv_work_space_size_bytes>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x108,%rsp
  mov    %edi,-0xa4(%rbp)
  mov    %rsi,-0xb0(%rbp)
  mov    %rdx,-0xb8(%rbp)
  mov    %rcx,-0xc0(%rbp)
  mov    %r8,-0xc8(%rbp)
  mov    %r9,-0xd0(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x94(%rbp)
  movl   $0x0,-0x98(%rbp)
  jmp    L145
L159:
  mov    -0x98(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%esi
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    $0x1,%eax
  mov    %eax,%edi
  call   <d_size_strmat@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  lea    (%rcx,%rax,1),%esi
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    $0x1,%eax
  mov    %eax,%edi
  call   <d_size_strmat@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xd0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%esi
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    $0x1,%eax
  mov    %eax,%edi
  call   <d_size_strmat@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  mov    %eax,%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  add    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  mov    %eax,%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  add    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xd0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    %eax,%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  mov    %eax,%edx
  mov    %edx,%eax
  shl    $0x2,%eax
  add    %edx,%eax
  add    %eax,-0x94(%rbp)
  addl   $0x1,-0x98(%rbp)
L145:
  mov    -0x98(%rbp),%eax
  cmp    -0xa4(%rbp),%eax
  jl     L159
  mov    -0xa4(%rbp),%eax
  mov    %eax,-0x98(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  lea    (%rcx,%rax,1),%esi
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    $0x1,%eax
  mov    %eax,%edi
  call   <d_size_strmat@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xd0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%esi
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    $0x1,%eax
  mov    %eax,%edi
  call   <d_size_strmat@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  mov    %eax,%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  add    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xb0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  mov    %eax,%edx
  mov    %edx,%eax
  add    %eax,%eax
  add    %edx,%eax
  add    %eax,-0x94(%rbp)
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xc0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x98(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0xd0(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  add    %eax,%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  mov    %eax,%edx
  mov    %edx,%eax
  shl    $0x2,%eax
  add    %edx,%eax
  add    %eax,-0x94(%rbp)
  mov    0x10(%rbp),%eax
  cmp    -0xa4(%rbp),%eax
  jge    L37
  mov    %rsp,%rax
  mov    %rax,%rbx
  mov    0x10(%rbp),%eax
  lea    0x1(%rax),%edx
  movslq %edx,%rax
  sub    $0x1,%rax
  mov    %rax,-0x90(%rbp)
  movslq %edx,%rax
  mov    %rax,%r12
  mov    $0x0,%r13d
  movslq %edx,%rax
  mov    %rax,%r14
  mov    $0x0,%r15d
  movslq %edx,%rax
  lea    0x0(,%rax,4),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%edi
  mov    $0x0,%edx
  div    %rdi
  imul   $0x10,%rax,%rdx
  mov    %rdx,%rax
  and    $0xfffffffffffff000,%rax
  mov    %rsp,%rcx
  sub    %rax,%rcx
L166:
  cmp    %rcx,%rsp
  je     L60
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L166
L60:
  mov    %rdx,%rax
  and    $0xfff,%eax
  sub    %rax,%rsp
  mov    %rdx,%rax
  and    $0xfff,%eax
  test   %rax,%rax
  je     L32
  mov    %rdx,%rax
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L32:
  mov    %rsp,%rax
  add    $0x3,%rax
  shr    $0x2,%rax
  shl    $0x2,%rax
  mov    %rax,-0x88(%rbp)
  mov    0x10(%rbp),%eax
  lea    0x1(%rax),%edx
  movslq %edx,%rax
  sub    $0x1,%rax
  mov    %rax,-0x80(%rbp)
  movslq %edx,%rax
  mov    %rax,-0xe0(%rbp)
  movq   $0x0,-0xd8(%rbp)
  movslq %edx,%rax
  mov    %rax,-0xf0(%rbp)
  movq   $0x0,-0xe8(%rbp)
  movslq %edx,%rax
  lea    0x0(,%rax,4),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%esi
  mov    $0x0,%edx
  div    %rsi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L99:
  cmp    %rdx,%rsp
  je     L86
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L99
L86:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L139
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L139:
  mov    %rsp,%rax
  add    $0x3,%rax
  shr    $0x2,%rax
  shl    $0x2,%rax
  mov    %rax,-0x78(%rbp)
  mov    0x10(%rbp),%eax
  add    $0x1,%eax
  movslq %eax,%rdx
  sub    $0x1,%rdx
  mov    %rdx,-0x70(%rbp)
  movslq %eax,%rdx
  mov    %rdx,-0x100(%rbp)
  movq   $0x0,-0xf8(%rbp)
  movslq %eax,%rdx
  mov    %rdx,-0x110(%rbp)
  movq   $0x0,-0x108(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%edi
  mov    $0x0,%edx
  div    %rdi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L136:
  cmp    %rdx,%rsp
  je     L64
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L136
L64:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L73
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L73:
  mov    %rsp,%rax
  add    $0x3,%rax
  shr    $0x2,%rax
  shl    $0x2,%rax
  mov    %rax,-0x68(%rbp)
  mov    0x10(%rbp),%eax
  add    $0x1,%eax
  movslq %eax,%rdx
  sub    $0x1,%rdx
  mov    %rdx,-0x60(%rbp)
  movslq %eax,%rdx
  mov    %rdx,-0x120(%rbp)
  movq   $0x0,-0x118(%rbp)
  movslq %eax,%rdx
  mov    %rdx,-0x130(%rbp)
  movq   $0x0,-0x128(%rbp)
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    $0x10,%eax
  sub    $0x1,%rax
  add    %rdx,%rax
  mov    $0x10,%esi
  mov    $0x0,%edx
  div    %rsi
  imul   $0x10,%rax,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  mov    %rsp,%rdx
  sub    %rcx,%rdx
L180:
  cmp    %rdx,%rsp
  je     L141
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  jmp    L180
L141:
  mov    %rax,%rdx
  and    $0xfff,%edx
  sub    %rdx,%rsp
  mov    %rax,%rdx
  and    $0xfff,%edx
  test   %rdx,%rdx
  je     L53
  and    $0xfff,%eax
  sub    $0x8,%rax
  add    %rsp,%rax
  orq    $0x0,(%rax)
L53:
  mov    %rsp,%rax
  add    $0x3,%rax
  shr    $0x2,%rax
  shl    $0x2,%rax
  mov    %rax,-0x58(%rbp)
  mov    -0xd0(%rbp),%r9
  mov    -0xc8(%rbp),%r8
  mov    -0xc0(%rbp),%rcx
  mov    -0xb8(%rbp),%rdx
  mov    -0xb0(%rbp),%rsi
  mov    -0xa4(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x58(%rbp)
  push   -0x68(%rbp)
  push   -0x78(%rbp)
  push   -0x88(%rbp)
  mov    0x10(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <d_part_cond_compute_problem_size_libstr@plt>
  add    $0x30,%rsp
  mov    -0xd0(%rbp),%r9
  mov    -0xc8(%rbp),%r8
  mov    -0xc0(%rbp),%rcx
  mov    -0xb8(%rbp),%rdx
  mov    -0xb0(%rbp),%rsi
  mov    -0xa4(%rbp),%eax
  lea    -0x50(%rbp),%rdi
  push   %rdi
  push   -0x58(%rbp)
  push   -0x68(%rbp)
  push   -0x78(%rbp)
  push   -0x88(%rbp)
  mov    0x10(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <d_part_cond_work_space_size_bytes_libstr@plt>
  add    $0x30,%rsp
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0xd0(%rbp),%r9
  mov    -0xc8(%rbp),%r8
  mov    -0xc0(%rbp),%rcx
  mov    -0xb8(%rbp),%rdx
  mov    -0xb0(%rbp),%rsi
  mov    -0xa4(%rbp),%eax
  sub    $0x8,%rsp
  push   -0x58(%rbp)
  push   -0x68(%rbp)
  push   -0x78(%rbp)
  push   -0x88(%rbp)
  mov    0x10(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <d_part_cond_memory_space_size_bytes_libstr@plt>
  add    $0x30,%rsp
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x58(%rbp),%rsi
  mov    -0x68(%rbp),%rcx
  mov    -0x78(%rbp),%rdx
  mov    -0x88(%rbp),%rax
  mov    %rsi,%r8
  mov    %rax,%rsi
  mov    0x10(%rbp),%edi
  call   <d_ip2_res_mpc_hard_work_space_size_bytes_libstr@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  movl   $0x0,-0x98(%rbp)
  jmp    L7
L113:
  mov    -0x88(%rbp),%rax
  mov    -0x98(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  add    %eax,-0x94(%rbp)
  mov    -0x78(%rbp),%rax
  mov    -0x98(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%ecx
  mov    -0x88(%rbp),%rax
  mov    -0x98(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  add    %ecx,%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  add    %eax,-0x94(%rbp)
  mov    -0x68(%rbp),%rax
  mov    -0x98(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%ecx
  mov    -0x58(%rbp),%rax
  mov    -0x98(%rbp),%edx
  movslq %edx,%rdx
  mov    (%rax,%rdx,4),%eax
  add    %ecx,%eax
  add    %eax,%eax
  mov    %eax,%edi
  call   <d_size_strvec@plt>
  add    %eax,%eax
  add    %eax,-0x94(%rbp)
  addl   $0x1,-0x98(%rbp)
L7:
  mov    -0x98(%rbp),%eax
  cmp    0x10(%rbp),%eax
  jle    L113
  subl   $0xffffff80,-0x94(%rbp)
  mov    %rbx,%rsp
  jmp    L109
L37:
  mov    -0xd0(%rbp),%rdi
  mov    -0xc0(%rbp),%rcx
  mov    -0xb8(%rbp),%rdx
  mov    -0xb0(%rbp),%rsi
  mov    -0xa4(%rbp),%eax
  mov    %rdi,%r8
  mov    %eax,%edi
  call   <d_ip2_res_mpc_hard_work_space_size_bytes_libstr@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  subl   $0xffffff80,-0x94(%rbp)
L109:
  mov    -0xd0(%rbp),%rdi
  mov    -0xc0(%rbp),%rcx
  mov    -0xb8(%rbp),%rdx
  mov    -0xb0(%rbp),%rsi
  mov    -0xa4(%rbp),%eax
  mov    %rdi,%r8
  mov    %eax,%edi
  call   <d_res_res_mpc_hard_work_space_size_bytes_libstr@plt>
  mov    %eax,%edx
  mov    -0x94(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x94(%rbp)
  mov    -0x94(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L10
  call   <__stack_chk_fail@plt>
L10:
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

assistant: ```c
int hpmpc_d_ip_ocp_hard_tv_work_space_size_bytes(int N, int *nx, int *nu, int *nb, int **hidxb, int *ng, int N2) {
  int ii;
  int size = 0;
  for (ii = 0; ii < N; ii++) {
    size += d_size_strmat(nu[ii] + nx[ii] + 1, nx[ii + 1]);
    size += d_size_strmat(nu[ii] + nx[ii] + 1, nu[ii] + nx[ii]);
    size += d_size_strmat(nu[ii] + nx[ii] + 1, ng[ii]);
    size += 3 * d_size_strvec(nx[ii]);
    size += 3 * d_size_strvec(nu[ii] + nx[ii]);
    size += 5 * d_size_strvec(2 * nb[ii] + 2 * ng[ii]);
  }
  ii = N;
  size += d_size_strmat(nu[ii] + nx[ii] + 1, nu[ii] + nx[ii]);
  size += d_size_strmat(nu[ii] + nx[ii] + 1, ng[ii]);
  size += 3 * d_size_strvec(nx[ii]);
  size += 3 * d_size_strvec(nu[ii] + nx[ii]);
  size += 5 * d_size_strvec(2 * nb[ii] + 2 * ng[ii]);
  if (N2 < N) {
    int nx2[N2 + 1];
    int nu2[N2 + 1];
    int nb2[N2 + 1];
    int ng2[N2 + 1];
    int work_space_sizes[4];
    d_part_cond_compute_problem_size_libstr(N, nx, nu, nb, hidxb, ng, N2, nx2, nu2, nb2, ng2);
    size += d_part_cond_work_space_size_bytes_libstr(N, nx, nu, nb, hidxb, ng, N2, nx2, nu2, nb2, ng2, work_space_sizes);
    size += d_part_cond_memory_space_size_bytes_libstr(N, nx, nu, nb, hidxb, ng, N2, nx2, nu2, nb2, ng2);
    size += d_ip2_res_mpc_hard_work_space_size_bytes_libstr(N2, nx2, nu2, nb2, ng2);
    for (ii = 0; ii <= N2; ii++) {
      size += 1 * d_size_strvec(nx2[ii]);
      size += 1 * d_size_strvec(nu2[ii] + nx2[ii]);
      size += 2 * d_size_strvec(2 * nb2[ii] + 2 * ng2[ii]);
    }
    size += 2 * 64;
  } else {
    size += d_ip2_res_mpc_hard_work_space_size_bytes_libstr(N, nx, nu, nb, ng);
    size += 2 * 64;
  }
  size += d_res_res_mpc_hard_work_space_size_bytes_libstr(N, nx, nu, nb, ng);
  return size;
}
```