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

```asm
<ieee_p_2592010699_sub_16439989833707593767_503743352>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %r9,%r12
  push   %rbx
  mov    %rcx,%rbx
  sub    $0x68,%rsp
  mov    %rdx,-0x70(%rbp)
  mov    0xc(%rcx),%r13d
  mov    %rdi,-0x58(%rbp)
  mov    %rsp,%rdx
  mov    %rsi,-0x90(%rbp)
  mov    %r8,-0x78(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  mov    0xc(%r9),%eax
  movl   $0x1,-0x50(%rbp)
  mov    %r13d,-0x4c(%rbp)
  mov    %eax,-0x64(%rbp)
  mov    %r13d,%eax
  add    $0x17,%rax
  movl   $0x1,-0x48(%rbp)
  shr    $0x4,%rax
  mov    %r13d,-0x44(%rbp)
  shl    $0x4,%rax
  mov    %rax,%rcx
  and    $0xfffffffffffff000,%rcx
  sub    %rcx,%rdx
  cmp    %rdx,%rsp
  je     L30
L103:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rdx,%rsp
  jne    L103
L30:
  and    $0xfff,%eax
  sub    %rax,%rsp
  test   %rax,%rax
  jne    L67
L78:
  mov    -0x58(%rbp),%rax
  lea    0xf(%rsp),%r14
  lea    -0x50(%rbp),%rdx
  mov    %r14,%rsi
  and    $0xfffffffffffffff0,%rsi
  lea    0xfa0(%rax),%rdi
  xor    %eax,%eax
  mov    %rsi,-0x60(%rbp)
  call   <xsi_type_set_default_value@plt>
  mov    0xc(%r12),%eax
  cmp    %eax,0xc(%rbx)
  jne    L94
  mov    -0x48(%rbp),%ecx
  mov    -0x4c(%rbp),%eax
  mov    -0x50(%rbp),%ebx
  mov    %ecx,%esi
  mov    %eax,-0x68(%rbp)
  imul   %eax,%esi
  mov    %ecx,%eax
  mov    %ecx,-0x80(%rbp)
  imul   %ebx,%eax
  mov    %esi,-0x84(%rbp)
  cmp    %esi,%eax
  jg     L3
  mov    %ecx,%edi
  lea    (%rcx,%rbx,1),%r8d
  mov    %r13d,-0x7c(%rbp)
  imul   %ecx,%edi
  imul   %ecx,%r8d
  mov    %edi,-0x88(%rbp)
  mov    %r8d,%r14d
  jmp    L101
  nop
L17:
  mov    -0x88(%rbp),%eax
  add    -0x80(%rbp),%ebx
  add    %r14d,%eax
  cmp    -0x84(%rbp),%r14d
  jg     L3
  mov    %eax,%r14d
L101:
  mov    -0x58(%rbp),%rax
  mov    -0x7c(%rbp),%esi
  mov    %ebx,%ecx
  mov    $0x1,%edx
  mov    $0x1,%edi
  lea    -0x1(%rbx),%r12d
  mov    0x5f8(%rax),%r15
  xor    %eax,%eax
  call   <xsi_vhdl_check_range_of_index@plt>
  mov    -0x70(%rbp),%rax
  mov    $0x1,%edx
  xor    %edi,%edi
  mov    $0x8,%esi
  movzbl (%rax,%r12,1),%r13d
  xor    %eax,%eax
  mov    %r13d,%ecx
  call   <xsi_vhdl_check_range_of_index@plt>
  mov    -0x64(%rbp),%esi
  mov    %ebx,%ecx
  mov    $0x1,%edx
  mov    $0x1,%edi
  xor    %eax,%eax
  call   <xsi_vhdl_check_range_of_index@plt>
  mov    -0x78(%rbp),%rax
  mov    $0x1,%edx
  xor    %edi,%edi
  mov    $0x8,%esi
  movzbl (%rax,%r12,1),%r12d
  xor    %eax,%eax
  mov    %r12d,%ecx
  call   <xsi_vhdl_check_range_of_index@plt>
  lea    0x0(%r13,%r13,8),%eax
  mov    -0x60(%rbp),%rsi
  add    %r12d,%eax
  movzbl (%r15,%rax,1),%edx
  mov    %ebx,%eax
  sub    -0x50(%rbp),%eax
  imul   -0x48(%rbp),%eax
  mov    %dl,(%rsi,%rax,1)
  cmp    %ebx,-0x68(%rbp)
  jne    L17
L3:
  mov    -0x44(%rbp),%ebx
  xor    %eax,%eax
  mov    %ebx,%edi
  call   <xsi_get_transient_memory@plt>
  mov    -0x60(%rbp),%rsi
  mov    %ebx,%edx
  movslq %eax,%r8
  mov    %r8,%rdi
  call   <memcpy@plt>
  mov    -0x90(%rbp),%rdi
  mov    -0x50(%rbp),%ecx
  mov    %rax,%r8
  mov    -0x4c(%rbp),%eax
  mov    -0x48(%rbp),%edx
  mov    %ecx,(%rdi)
  mov    %eax,0x4(%rdi)
  sub    %ecx,%eax
  imul   %edx,%eax
  mov    %edx,0x8(%rdi)
  add    $0x1,%eax
  mov    %eax,0xc(%rdi)
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L34
  lea    -0x28(%rbp),%rsp
  mov    %r8,%rax
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nop
L94:
  mov    -0x58(%rbp),%rdi
  mov    $0x3,%edx
  mov    $0x41,%esi
  xor    %eax,%eax
  add    $0x2020,%rdi
  call   <xsi_report@plt>
  jmp    L3
  nopl   0x0(%rax)
L67:
  orq    $0x0,-0x8(%rsp,%rax,1)
  jmp    L78
L34:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
char *ieee_p_2592010699_sub_16439989833707593767_503743352(char *t1, char *t2, char *t3, char *t4, char *t5, char *t6) {
  char t7[128];
  char t8[40];
  char t9[16];
  char t16[16];
  char t23[16];
  char *t0;
  char *t10;
  unsigned int t11;
  char *t12;
  char *t13;
  int t14;
  unsigned int t15;
  char *t17;
  char *t18;
  int t19;
  unsigned int t20;
  int t21;
  unsigned int t22;
  char *t24;
  unsigned int t25;
  char *t26;
  char *t27;
  int t28;
  unsigned int t29;
  char *t30;
  char *t31;
  char *t32;
  char *t33;
  char *t34;
  char *t35;
  char *t36;
  unsigned char t37;
  char *t38;
  char *t39;
  unsigned char t40;
  char *t41;
  char *t42;
  char *t43;
  unsigned int t44;
  unsigned char t45;
  char *t46;
  char *t47;
  int t48;
  int t49;
  int t50;
  int t51;
  int t52;
  int t53;
  int t54;
  int t55;
  int t56;
  int t57;
  int t58;
  int t59;
  unsigned int t60;
  int t61;
  unsigned int t62;
  unsigned int t63;
  unsigned int t64;
  unsigned int t65;
  char *t66;
  int t67;
  char *t68;
  int t69;
  int t70;
  unsigned int t71;
  unsigned int t72;
  unsigned int t73;
  char *t74;
LAB0:
  t10 = (t4 + 12U);
  t11 = *((unsigned int *)t10);
  t12 = (t9 + 0U);
  t13 = (t12 + 0U);
  *((int *)t13) = 1;
  t13 = (t12 + 4U);
  *((unsigned int *)t13) = t11;
  t13 = (t12 + 8U);
  *((int *)t13) = 1;
  t14 = (t11 - 1);
  t15 = (t14 * 1);
  t15 = (t15 + 1);
  t13 = (t12 + 12U);
  *((unsigned int *)t13) = t15;
  t13 = (t6 + 12U);
  t15 = *((unsigned int *)t13);
  t17 = (t16 + 0U);
  t18 = (t17 + 0U);
  *((int *)t18) = 1;
  t18 = (t17 + 4U);
  *((unsigned int *)t18) = t15;
  t18 = (t17 + 8U);
  *((int *)t18) = 1;
  t19 = (t15 - 1);
  t20 = (t19 * 1);
  t20 = (t20 + 1);
  t18 = (t17 + 12U);
  *((unsigned int *)t18) = t20;
  t18 = (t4 + 12U);
  t20 = *((unsigned int *)t18);
  t21 = (t20 - 1);
  t22 = (t21 * 1);
  t22 = (t22 + 1);
  t22 = (t22 * 1U);
  t24 = (t4 + 12U);
  t25 = *((unsigned int *)t24);
  t26 = (t23 + 0U);
  t27 = (t26 + 0U);
  *((int *)t27) = 1;
  t27 = (t26 + 4U);
  *((unsigned int *)t27) = t25;
  t27 = (t26 + 8U);
  *((int *)t27) = 1;
  t28 = (t25 - 1);
  t29 = (t28 * 1);
  t29 = (t29 + 1);
  t27 = (t26 + 12U);
  *((unsigned int *)t27) = t29;
  t27 = (t7 + 4U);
  t30 = (t1 + 4000);
  t31 = (t27 + 88U);
  *((char **)t31) = t30;
  t32 = (char *)alloca(t22);
  t33 = (t27 + 56U);
  *((char **)t33) = t32;
  xsi_type_set_default_value(t30, t32, t23);
  t34 = (t27 + 64U);
  *((char **)t34) = t23;
  t35 = (t27 + 80U);
  *((unsigned int *)t35) = t22;
  t36 = (t8 + 4U);
  t37 = (t3 != 0);
  if (t37 == 1)
    goto LAB3;
LAB2:
  t38 = (t8 + 12U);
  *((char **)t38) = t4;
  t39 = (t8 + 20U);
  t40 = (t5 != 0);
  if (t40 == 1)
    goto LAB5;
LAB4:
  t41 = (t8 + 28U);
  *((char **)t41) = t6;
  t42 = (t4 + 12U);
  t29 = *((unsigned int *)t42);
  t43 = (t6 + 12U);
  t44 = *((unsigned int *)t43);
  t45 = (t29 != t44);
  if (t45 != 0)
    goto LAB6;
LAB8:
  t10 = (t23 + 8U);
  t14 = *((int *)t10);
  t12 = (t23 + 4U);
  t19 = *((int *)t12);
  t13 = (t23 + 0U);
  t21 = *((int *)t13);
  t28 = t21;
  t48 = t19;
LAB11:
  t49 = (t48 * t14);
  t50 = (t28 * t14);
  if (t50 <= t49)
    goto LAB12;
LAB14:
LAB7:
  t10 = (t27 + 56U);
  t12 = *((char **)t10);
  t10 = (t23 + 12U);
  t11 = *((unsigned int *)t10);
  t11 = (t11 * 1U);
  t0 = xsi_get_transient_memory(t11);
  memcpy(t0, t12, t11);
  t13 = (t23 + 0U);
  t14 = *((int *)t13);
  t17 = (t23 + 4U);
  t19 = *((int *)t17);
  t18 = (t23 + 8U);
  t21 = *((int *)t18);
  t24 = (t2 + 0U);
  t26 = (t24 + 0U);
  *((int *)t26) = t14;
  t26 = (t24 + 4U);
  *((int *)t26) = t19;
  t26 = (t24 + 8U);
  *((int *)t26) = t21;
  t28 = (t19 - t14);
  t15 = (t28 * t21);
  t15 = (t15 + 1);
  t26 = (t24 + 12U);
  *((unsigned int *)t26) = t15;
LAB1:
  return t0;
LAB3:
  *((char **)t36) = t3;
  goto LAB2;
LAB5:
  *((char **)t39) = t5;
  goto LAB4;
LAB6:
  if ((unsigned char)0 == 0)
    goto LAB9;
LAB10:
  goto LAB7;
LAB9:
  t46 = (t1 + 8224);
  xsi_report(t46, 65U, (unsigned char)3);
  goto LAB10;
LAB12:
  t17 = (t1 + 1528U);
  t18 = *((char **)t17);
  t17 = (t3 + 0);
  t24 = (t9 + 0U);
  t51 = *((int *)t24);
  t26 = (t9 + 8U);
  t52 = *((int *)t26);
  t53 = (t28 - t51);
  t11 = (t53 * t52);
  t30 = (t9 + 4U);
  t54 = *((int *)t30);
  xsi_vhdl_check_range_of_index(t51, t54, t52, t28);
  t15 = (1U * t11);
  t20 = (0 + t15);
  t31 = (t17 + t20);
  t37 = *((unsigned char *)t31);
  t55 = (t37 - 0);
  t22 = (t55 * 1);
  xsi_vhdl_check_range_of_index(0, 8, 1, t37);
  t25 = (t22 * 9U);
  t33 = (t5 + 0);
  t34 = (t16 + 0U);
  t56 = *((int *)t34);
  t35 = (t16 + 8U);
  t57 = *((int *)t35);
  t58 = (t28 - t56);
  t29 = (t58 * t57);
  t42 = (t16 + 4U);
  t59 = *((int *)t42);
  xsi_vhdl_check_range_of_index(t56, t59, t57, t28);
  t44 = (1U * t29);
  t60 = (0 + t44);
  t43 = (t33 + t60);
  t40 = *((unsigned char *)t43);
  t61 = (t40 - 0);
  t62 = (t61 * 1);
  xsi_vhdl_check_range_of_index(0, 8, 1, t40);
  t63 = (t25 + t62);
  t64 = (1U * t63);
  t65 = (0 + t64);
  t46 = (t18 + t65);
  t45 = *((unsigned char *)t46);
  t47 = (t27 + 56U);
  t66 = *((char **)t47);
  t47 = (t23 + 0U);
  t67 = *((int *)t47);
  t68 = (t23 + 8U);
  t69 = *((int *)t68);
  t70 = (t28 - t67);
  t71 = (t70 * t69);
  t72 = (1U * t71);
  t73 = (0 + t72);
  t74 = (t66 + t73);
  *((unsigned char *)t74) = t45;
LAB13:
  if (t28 == t48)
    goto LAB14;
LAB15:
  t19 = (t28 + t14);
  t28 = t19;
  goto LAB11;
LAB16:;
}
```