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

```asm
<loosen_labels>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %edx,-0x34(%rbp)
  mov    %ecx,-0x38(%rbp)
  mov    -0x38(%rbp),%eax
  cltq
  shl    $0x2,%eax
  mov    %eax,%edi
  call   <malloc_or_die@plt>
  mov    %rax,-0x8(%rbp)
  mov    -0x38(%rbp),%edx
  mov    -0x28(%rbp),%rcx
  mov    -0x30(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <memcpy@plt>
  movl   $0x1,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  mov    %al,-0x15(%rbp)
  mov    -0x8(%rbp),%rax
  movl   $0x1,(%rax)
  movl   $0x1,-0x10(%rbp)
  jmp    L17
L103:
  mov    -0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    %al,-0x15(%rbp)
  je     L76
  mov    -0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  mov    %al,-0x15(%rbp)
  mov    -0x14(%rbp),%eax
  cmp    -0x10(%rbp),%eax
  je     L146
  mov    -0x14(%rbp),%eax
  cltd
  shr    $0x1f,%edx
  add    %edx,%eax
  and    $0x1,%eax
  sub    %edx,%eax
  cmp    $0x1,%eax
  jne    L80
  mov    -0x14(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%eax
  sub    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movl   $0x1,(%rax)
  jmp    L146
L80:
  mov    -0x14(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  neg    %eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movl   $0x1,(%rax)
  mov    -0x14(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%eax
  sub    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movl   $0x1,(%rax)
L146:
  movl   $0x1,-0x14(%rbp)
  jmp    L81
L76:
  addl   $0x1,-0x14(%rbp)
L81:
  addl   $0x1,-0x10(%rbp)
L17:
  mov    -0x10(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L103
  movl   $0x1,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  mov    %al,-0x15(%rbp)
  movl   $0x1,-0x10(%rbp)
  jmp    L36
L96:
  mov    -0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  cmp    %al,-0x15(%rbp)
  je     L141
  movl   $0x0,-0xc(%rbp)
  jmp    L131
L107:
  mov    -0x10(%rbp),%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jne    L39
  mov    -0x10(%rbp),%eax
  sub    $0x1,%eax
  sub    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  test   %eax,%eax
  jne    L39
  mov    -0x10(%rbp),%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movb   $0x2e,(%rax)
  mov    -0x10(%rbp),%eax
  sub    $0x1,%eax
  sub    -0xc(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movb   $0x2e,(%rax)
  addl   $0x1,-0xc(%rbp)
L131:
  mov    -0xc(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L107
L39:
  mov    -0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  mov    %al,-0x15(%rbp)
  movl   $0x1,-0x14(%rbp)
  jmp    L109
L141:
  addl   $0x1,-0x14(%rbp)
L109:
  addl   $0x1,-0x10(%rbp)
L36:
  mov    -0x10(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L96
  mov    -0x8(%rbp),%rax
  mov    %rax,%rdi
  call   <free@plt>
  nop
  leave
  ret
```

assistant: ```c
void loosen_labels(char *labels, char *loose_labels, int label_looseness, int seq_len) {
  int *locked_labels;
  int reg_len;
  int i, j;
  char cur;
  locked_labels = (int *)(malloc_or_die(seq_len * sizeof(int)));
  memcpy(loose_labels, labels, seq_len * sizeof(char));
  reg_len = 1;
  cur = labels[0];
  locked_labels[0] = 1;
  for (i = 1; i < seq_len; i++) {
    if (labels[i] != cur) {
      cur = labels[i];
      if (reg_len == i) {
      } else {
        if (reg_len % 2 == 1) {
          locked_labels[i - (reg_len / 2 + 1)] = 1;
        } else {
          locked_labels[i - reg_len / 2] = 1;
          locked_labels[i - (reg_len / 2 + 1)] = 1;
        }
      }
      reg_len = 1;
    } else {
      reg_len++;
    }
  }
  reg_len = 1;
  cur = labels[0];
  for (i = 1; i < seq_len; i++) {
    if (labels[i] != cur) {
      for (j = 0; j < label_looseness; j++) {
        if (locked_labels[i + j] == 0 && locked_labels[i - 1 - j] == 0) {
          loose_labels[i + j] = '.';
          loose_labels[i - 1 - j] = '.';
        } else {
          break;
        }
      }
      cur = labels[i];
      reg_len = 1;
    } else {
      reg_len++;
    }
  }
  free(locked_labels);
}
```