user: Converte this assembly snippet into its equivalent C code:

```asm
<nullspace>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x58(%rbp)
  mov    %rsi,-0x60(%rbp)
  mov    %edx,-0x64(%rbp)
  mov    %rcx,-0x70(%rbp)
  mov    -0x70(%rbp),%rax
  mov    %rax,-0x28(%rbp)
  movl   $0x0,-0x44(%rbp)
  mov    -0x64(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x20(%rbp)
  movsd  D32(%rip),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movl   $0x0,-0x2c(%rbp)
  movl   $0x0,-0x40(%rbp)
  movl   $0x0,-0x3c(%rbp)
  jmp    L131
L266:
  mov    -0x64(%rbp),%eax
  imul   -0x40(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D37(%rip),%xmm1
  andpd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x40(%rbp),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x40(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x38(%rbp)
  jmp    L119
L230:
  mov    -0x64(%rbp),%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D37(%rip),%xmm1
  andpd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L139
  movsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x38(%rbp),%eax
  mov    %eax,-0x30(%rbp)
L139:
  addl   $0x1,-0x38(%rbp)
L119:
  mov    -0x38(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L230
  movsd  -0x10(%rbp),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L232
  mov    -0x28(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x28(%rbp)
  mov    -0x3c(%rbp),%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x44(%rbp)
  mov    -0x40(%rbp),%eax
  mov    %eax,-0x38(%rbp)
  jmp    L112
L16:
  mov    -0x64(%rbp),%eax
  imul   -0x38(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  pxor   %xmm0,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x38(%rbp)
L112:
  mov    -0x38(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L16
  jmp    L154
L232:
  mov    -0x20(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x20(%rbp)
  mov    -0x3c(%rbp),%edx
  mov    %edx,(%rax)
  mov    -0x3c(%rbp),%eax
  mov    %eax,-0x38(%rbp)
  jmp    L247
L142:
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0x30(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rax,%rdx
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%ecx
  mov    -0x38(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x58(%rbp),%rax
  add    %rcx,%rax
  movsd  (%rdx),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x30(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x38(%rbp)
L247:
  mov    -0x38(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L142
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x3c(%rbp),%eax
  mov    %eax,-0x38(%rbp)
  jmp    L217
L225:
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  divsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x38(%rbp)
L217:
  mov    -0x38(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L225
  movl   $0x0,-0x38(%rbp)
  jmp    L104
L238:
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movq   D9(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x3c(%rbp),%eax
  mov    %eax,-0x34(%rbp)
  jmp    L215
L72:
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x34(%rbp)
L215:
  mov    -0x34(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L72
  addl   $0x1,-0x38(%rbp)
L104:
  mov    -0x38(%rbp),%eax
  cmp    -0x40(%rbp),%eax
  jl     L238
  mov    -0x40(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0x38(%rbp)
  jmp    L201
L173:
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0x3c(%rbp),%eax
  mov    %eax,-0x34(%rbp)
  jmp    L81
L106:
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x40(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mulsd  -0x18(%rbp),%xmm1
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x34(%rbp)
L81:
  mov    -0x34(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L106
  addl   $0x1,-0x38(%rbp)
L201:
  mov    -0x38(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L173
  addl   $0x1,-0x40(%rbp)
L154:
  addl   $0x1,-0x3c(%rbp)
L131:
  mov    -0x3c(%rbp),%eax
  cmp    -0x64(%rbp),%eax
  jl     L266
  movl   $0x0,-0x38(%rbp)
  jmp    L202
L165:
  mov    -0x38(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x3c(%rbp)
  movl   $0x0,-0x34(%rbp)
  jmp    L196
L153:
  mov    -0x34(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x64(%rbp),%ecx
  mov    -0x34(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,4),%rcx
  mov    -0x70(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  add    %rdx,%rax
  movq   D9(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x34(%rbp)
L196:
  mov    -0x64(%rbp),%eax
  sub    -0x44(%rbp),%eax
  cmp    %eax,-0x34(%rbp)
  jl     L153
  movl   $0x0,-0x34(%rbp)
  jmp    L26
L227:
  mov    -0x34(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x70(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  cmp    %eax,-0x3c(%rbp)
  jne    L276
  movsd  D56(%rip),%xmm0
  jmp    L136
L276:
  pxor   %xmm0,%xmm0
L136:
  mov    -0x38(%rbp),%eax
  imul   -0x64(%rbp),%eax
  mov    %eax,%edx
  mov    -0x34(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rcx
  mov    -0x70(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x60(%rbp),%rax
  add    %rdx,%rax
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x34(%rbp)
L26:
  mov    -0x34(%rbp),%eax
  cmp    -0x44(%rbp),%eax
  jl     L227
  addl   $0x1,-0x38(%rbp)
L202:
  mov    -0x38(%rbp),%eax
  cmp    -0x44(%rbp),%eax
  jl     L165
  mov    -0x44(%rbp),%eax
  pop    %rbp
  ret
```

tool_calls: name: disassemble_data
arguments: label: D32
type_infered: byte[8]
name: disassemble_data
arguments: label: D37
type_infered: qword
name: disassemble_data
arguments: label: D9
type_infered: byte[8]
name: disassemble_data
arguments: label: D56
type_infered: byte[8]

tool: {"D32": [0x11,0xea,0x2d,0x81,0x99,0x97,0x71,0x3d]}

tool: D37: 9223372036854775807

tool: {"D9": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

tool: {"D56": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

assistant: ```c
int nullspace(double *matrix, double *nullspace, int n, int *buffer) {
  int *pnopivot = buffer, nonpivot = 0;
  int *ppivot = buffer + n;
  int i, j, k, l, ptr, max;
  double pivot, t;
  double tol = 1e-12;
  ptr = 0;
  i = 0;
  for (j = 0; j < n; j++) {
    pivot = fabs(matrix[n * i + j]);
    max = i;
    for (k = i + 1; k < n; k++) {
      t = fabs(matrix[n * k + j]);
      if (pivot < t) {
        pivot = t;
        max = k;
      }
    }
    if (pivot < tol) {
      *(pnopivot++) = j;
      nonpivot++;
      for (k = i; k < n; k++)
        matrix[n * k + j] = 0;
    } else {
      *(ppivot++) = j;
      for (k = j; k < n; k++) {
        t = matrix[i * n + k];
        matrix[i * n + k] = matrix[max * n + k];
        matrix[max * n + k] = t;
      }
      pivot = matrix[i * n + j];
      for (k = j; k < n; k++)
        matrix[i * n + k] /= pivot;
      for (k = 0; k < i; k++) {
        pivot = -matrix[k * n + j];
        for (l = j; l < n; l++)
          matrix[k * n + l] += pivot * matrix[i * n + l];
      }
      for (k = i + 1; k < n; k++) {
        pivot = matrix[k * n + j];
        for (l = j; l < n; l++)
          matrix[k * n + l] -= pivot * matrix[i * n + l];
      }
      i++;
    }
  }
  for (k = 0; k < nonpivot; k++) {
    j = buffer[k];
    for (l = 0; l < n - nonpivot; l++)
      nullspace[k * n + buffer[n + l]] = -matrix[l * n + j];
    for (l = 0; l < nonpivot; l++)
      nullspace[k * n + buffer[l]] = (j == buffer[l]) ? 1 : 0;
  }
  return nonpivot;
}
```