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

```asm
<computeBWT>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %rcx,%r12
  push   %rbp
  mov    %rdi,%rbp
  push   %rbx
  mov    %rsi,%rbx
  sub    $0x48,%rsp
  mov    %rdx,0x20(%rsp)
  mov    %r8d,0x2c(%rsp)
  mov    %r9d,0x34(%rsp)
  cmp    %rcx,%rdx
  je     L259
L225:
  mov    0x34(%rsp),%edx
  mov    0x20(%rsp),%rdi
  xor    %ecx,%ecx
  mov    %r12,%rsi
  call   <getBuckets@plt>
  mov    0x2c(%rsp),%eax
  sub    $0x1,%eax
  cmpl   $0x4,0x80(%rsp)
  mov    %eax,0x30(%rsp)
  movslq %eax,%r13
  je     L188
  movzbl 0x0(%rbp,%r13,1),%r10d
  movslq (%r12,%r10,4),%rax
  lea    (%rbx,%rax,4),%rdx
  mov    0x30(%rsp),%eax
  test   %eax,%eax
  jle    L85
  movzbl -0x1(%rbp,%r13,1),%ecx
L156:
  mov    0x2c(%rsp),%eax
  neg    %eax
  cmp    %r10d,%ecx
  cmovge 0x30(%rsp),%eax
L85:
  movslq 0x2c(%rsp),%rsi
  mov    %eax,(%rdx)
  lea    0x4(%rdx),%r11
  xor    %r15d,%r15d
  mov    %rsi,0x10(%rsp)
  test   %esi,%esi
  jle    L62
  mov    %r12,0x18(%rsp)
  mov    %rbx,%r12
  mov    %r10d,%ebx
  mov    %r11,(%rsp)
  mov    %r13,0x38(%rsp)
  jmp    L15
L94:
  lea    -0x1(%r13),%r14d
  cmpl   $0x4,0x80(%rsp)
  movslq %r14d,%rax
  mov    %rax,0x8(%rsp)
  movslq %r13d,%rax
  je     L292
  movslq %r14d,%rsi
  movzbl 0x0(%rbp,%rax,1),%eax
  lea    0x0(%rbp,%rsi,1),%rdx
  cmp    %al,(%rdx)
  mov    %rdx,0x8(%rsp)
  setae  %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    0x8(%rsp),%rdx
  movzbl (%rdx),%r8d
L234:
  mov    %r8d,%eax
  mov    (%rsp),%rdx
  not    %eax
  mov    %eax,(%r12,%r15,4)
  cmp    %ebx,%r8d
  je     L322
  mov    0x18(%rsp),%rcx
  sub    %r12,%rdx
  movslq %ebx,%r10
  movslq %r8d,%rax
  sar    $0x2,%rdx
  mov    %edx,(%rcx,%r10,4)
  movslq (%rcx,%rax,4),%rax
  lea    (%r12,%rax,4),%rdx
L322:
  mov    %rdx,%rax
  xor    %edi,%edi
  mov    %r8d,0x8(%rsp)
  sub    %r12,%rax
  mov    %rdx,(%rsp)
  sar    $0x2,%rax
  cmp    %r15,%rax
  setg   %dil
  call   <assert@plt>
  test   %r14d,%r14d
  mov    (%rsp),%rdx
  mov    0x8(%rsp),%r8d
  je     L302
  cmpl   $0x4,0x80(%rsp)
  movslq %r14d,%rax
  je     L25
  movzbl -0x1(%rbp,%rax,1),%eax
L210:
  mov    %r13d,%ecx
  neg    %ecx
  cmp    %eax,%r8d
  cmovg  %ecx,%r14d
L302:
  lea    0x4(%rdx),%rax
  mov    %r14d,(%rdx)
  mov    %r8d,%ebx
  mov    %rax,(%rsp)
L132:
  add    $0x1,%r15
  cmp    %r15,0x10(%rsp)
  je     L38
L15:
  mov    (%r12,%r15,4),%r13d
  test   %r13d,%r13d
  jg     L94
  je     L132
  mov    %r13d,%ecx
  not    %ecx
  mov    %ecx,(%r12,%r15,4)
  add    $0x1,%r15
  cmp    %r15,0x10(%rsp)
  jne    L15
L38:
  mov    %r12,%rbx
  mov    0x38(%rsp),%r13
  mov    0x18(%rsp),%r12
L62:
  cmp    %r12,0x20(%rsp)
  je     L69
L299:
  mov    0x34(%rsp),%edx
  mov    0x20(%rsp),%rdi
  mov    $0x1,%ecx
  mov    %r12,%rsi
  call   <getBuckets@plt>
  movslq (%r12),%rax
  lea    (%rbx,%rax,4),%rcx
  mov    0x30(%rsp),%eax
  test   %eax,%eax
  js     L139
  xor    %r15d,%r15d
  mov    %r12,0x10(%rsp)
  movl   $0xffffffff,0x18(%rsp)
  mov    %r15d,%r12d
  mov    %rcx,(%rsp)
  jmp    L142
  nopw   0x0(%rax,%rax,1)
L180:
  lea    -0x1(%rax),%r14d
  cmpl   $0x4,0x80(%rsp)
  movslq %r14d,%rcx
  mov    %rcx,0x8(%rsp)
  je     L40
  movslq %r14d,%rsi
  movzbl 0x0(%rbp,%rax,1),%eax
  xor    %edi,%edi
  lea    0x0(%rbp,%rsi,1),%r15
  cmp    %al,(%r15)
  setbe  %dil
  call   <assert@plt>
  movzbl (%r15),%esi
L184:
  mov    %esi,(%rbx,%r13,4)
  mov    (%rsp),%r15
  cmp    %r12d,%esi
  je     L179
  mov    0x10(%rsp),%rcx
  sub    %rbx,%r15
  movslq %r12d,%r8
  movslq %esi,%rax
  sar    $0x2,%r15
  mov    %r15d,(%rcx,%r8,4)
  movslq (%rcx,%rax,4),%rax
  lea    (%rbx,%rax,4),%r15
L179:
  mov    %r15,%rax
  xor    %edi,%edi
  mov    %esi,(%rsp)
  sub    %rbx,%rax
  sar    $0x2,%rax
  cmp    %r13,%rax
  setle  %dil
  call   <assert@plt>
  test   %r14d,%r14d
  mov    (%rsp),%esi
  je     L33
  cmpl   $0x4,0x80(%rsp)
  movslq %r14d,%rax
  je     L122
  movzbl -0x1(%rbp,%rax,1),%eax
  mov    %eax,%ecx
  cmp    %eax,%esi
  not    %ecx
  cmovl  %ecx,%r14d
L33:
  lea    -0x4(%r15),%rax
  mov    %r14d,-0x4(%r15)
  mov    %esi,%r12d
  mov    %rax,(%rsp)
L201:
  sub    $0x1,%r13
  test   %r13d,%r13d
  js     L313
L142:
  movslq (%rbx,%r13,4),%rax
  test   %eax,%eax
  jg     L180
  je     L174
  not    %eax
  mov    %eax,(%rbx,%r13,4)
  sub    $0x1,%r13
  test   %r13d,%r13d
  jns    L142
L313:
  mov    0x18(%rsp),%eax
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopw   0x0(%rax,%rax,1)
L292:
  movslq %r14d,%rax
  shl    $0x2,%rax
  lea    0x0(%rbp,%rax,1),%rdx
  mov    0x4(%rbp,%rax,1),%eax
  cmp    %eax,(%rdx)
  mov    %rdx,0x8(%rsp)
  setge  %dil
  movzbl %dil,%edi
  call   <assert@plt>
  mov    0x8(%rsp),%rdx
  mov    (%rdx),%r8d
  jmp    L234
  nopl   0x0(%rax)
L174:
  mov    %r13d,0x18(%rsp)
  jmp    L201
  nopw   0x0(%rax,%rax,1)
L40:
  mov    %rcx,%rax
  xor    %edi,%edi
  shl    $0x2,%rax
  lea    0x0(%rbp,%rax,1),%r15
  mov    0x4(%rbp,%rax,1),%eax
  cmp    %eax,(%r15)
  setle  %dil
  call   <assert@plt>
  mov    (%r15),%esi
  jmp    L184
  xchg   %ax,%ax
L122:
  mov    -0x4(%rbp,%rax,4),%eax
  mov    %eax,%ecx
  cmp    %eax,%esi
  not    %ecx
  cmovl  %ecx,%r14d
  jmp    L33
  nopl   0x0(%rax,%rax,1)
L25:
  mov    -0x4(%rbp,%rax,4),%eax
  jmp    L210
  nopl   0x0(%rax)
L188:
  movslq 0x0(%rbp,%r13,4),%rax
  lea    0x0(,%r13,4),%rcx
  mov    %rax,%r10
  movslq (%r12,%rax,4),%rax
  lea    (%rbx,%rax,4),%rdx
  mov    0x30(%rsp),%eax
  test   %eax,%eax
  jle    L85
  mov    -0x4(%rbp,%rcx,1),%ecx
  jmp    L156
  nopl   (%rax)
L259:
  mov    0x80(%rsp),%r8d
  mov    0x2c(%rsp),%edx
  mov    %r9d,%ecx
  mov    0x20(%rsp),%rsi
  call   <getCounts@plt>
  jmp    L225
  cs nopw 0x0(%rax,%rax,1)
L69:
  mov    0x80(%rsp),%r8d
  mov    0x34(%rsp),%ecx
  mov    %rbp,%rdi
  mov    0x2c(%rsp),%edx
  mov    0x20(%rsp),%rsi
  call   <getCounts@plt>
  jmp    L299
  nopw   0x0(%rax,%rax,1)
L139:
  movl   $0xffffffff,0x18(%rsp)
  jmp    L313
```

assistant: ```c
off_t computeBWT(const void *T, off_t *SA, off_t *C, off_t *B, off_t n, off_t k, int cs) {
  off_t *b, i, j, pidx = -1;
  off_t c0, c1;
  if (C == B) {
    getCounts(T, C, n, k, cs);
  }
  getBuckets(C, B, k, 0);
  j = n - 1;
  b = SA + B[c1 = (cs == sizeof(off_t) ? ((const off_t *)T)[(j)] : ((const unsigned char *)T)[(j)])];
  *b++ = ((0 < j) && ((cs == sizeof(off_t) ? ((const off_t *)T)[(j - 1)] : ((const unsigned char *)T)[(j - 1)]) < c1)) ? ~j : j;
  for (i = 0; i < n; ++i) {
    if (0 < (j = SA[i])) {
      --j;
      assert((cs == sizeof(off_t) ? ((const off_t *)T)[(j)] : ((const unsigned char *)T)[(j)]) >= (cs == sizeof(off_t) ? ((const off_t *)T)[(j + 1)] : ((const unsigned char *)T)[(j + 1)]));
      SA[i] = ~((off_t)(c0 = (cs == sizeof(off_t) ? ((const off_t *)T)[(j)] : ((const unsigned char *)T)[(j)])));
      if (c0 != c1) {
        B[c1] = b - SA;
        b = SA + B[c1 = c0];
      }
      assert(i < (b - SA));
      *b++ = ((0 < j) && ((cs == sizeof(off_t) ? ((const off_t *)T)[(j - 1)] : ((const unsigned char *)T)[(j - 1)]) < c1)) ? ~j : j;
    } else if (j != 0) {
      SA[i] = ~j;
    }
  }
  if (C == B) {
    getCounts(T, C, n, k, cs);
  }
  getBuckets(C, B, k, 1);
  for (i = n - 1, b = SA + B[c1 = 0]; 0 <= i; --i) {
    if (0 < (j = SA[i])) {
      --j;
      assert((cs == sizeof(off_t) ? ((const off_t *)T)[(j)] : ((const unsigned char *)T)[(j)]) <= (cs == sizeof(off_t) ? ((const off_t *)T)[(j + 1)] : ((const unsigned char *)T)[(j + 1)]));
      SA[i] = (c0 = (cs == sizeof(off_t) ? ((const off_t *)T)[(j)] : ((const unsigned char *)T)[(j)]));
      if (c0 != c1) {
        B[c1] = b - SA;
        b = SA + B[c1 = c0];
      }
      assert((b - SA) <= i);
      *--b = ((0 < j) && ((cs == sizeof(off_t) ? ((const off_t *)T)[(j - 1)] : ((const unsigned char *)T)[(j - 1)]) > c1)) ? ~((off_t)(cs == sizeof(off_t) ? ((const off_t *)T)[(j - 1)] : ((const unsigned char *)T)[(j - 1)])) : j;
    } else if (j != 0) {
      SA[i] = ~j;
    } else {
      pidx = i;
    }
  }
  return pidx;
}
```