user: Please show me the C implementation that matches the assembly code listed below:

```asm
<abbreviate>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  sub    $0x18,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x8(%rsp)
  xor    %eax,%eax
  call   <strlen@plt>
  mov    $0x1,%esi
  lea    0x1(%rax),%edi
  mov    %eax,%r12d
  call   <calloc@plt>
  movl   $0x0,(%rsp)
  movl   $0x0,0x4(%rsp)
  mov    %rax,%r13
  test   %r12d,%r12d
  je     L158
  lea    0x4(%rsp),%rbp
  lea    D100(%rip),%r14
  lea    D54(%rip),%r15
  jmp    L19
  nopw   0x0(%rax,%rax,1)
L140:
  mov    %rsp,%rdx
  lea    D25(%rip),%rsi
  mov    %r13,%rdi
  call   <insert_abbreviation@plt>
L3:
  mov    0x4(%rsp),%eax
  add    $0x1,%eax
  mov    %eax,0x4(%rsp)
  cmp    %r12d,%eax
  jae    L158
L19:
  mov    %r14,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <is_substitutable_sequence@plt>
  test   %rax,%rax
  jne    L140
  mov    %r15,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <is_substitutable_sequence@plt>
  test   %rax,%rax
  je     L15
  mov    %rsp,%rdx
  lea    D22(%rip),%rsi
  mov    %r13,%rdi
  call   <insert_abbreviation@plt>
  mov    0x4(%rsp),%eax
  add    $0x1,%eax
  mov    %eax,0x4(%rsp)
  cmp    %r12d,%eax
  jb     L19
L158:
  mov    0x8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L65
  add    $0x18,%rsp
  mov    %r13,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L15:
  lea    D0(%rip),%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <is_substitutable_sequence@plt>
  test   %rax,%rax
  je     L108
  mov    %rsp,%rdx
  lea    D12(%rip),%rsi
  mov    %r13,%rdi
  call   <insert_abbreviation@plt>
  jmp    L3
  xchg   %ax,%ax
L108:
  lea    D34(%rip),%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <is_substitutable_sequence@plt>
  test   %rax,%rax
  je     L59
  mov    %rsp,%rdx
  lea    D80(%rip),%rsi
  mov    %r13,%rdi
  call   <insert_abbreviation@plt>
  jmp    L3
  xchg   %ax,%ax
L59:
  lea    D42(%rip),%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <is_substitutable_sequence@plt>
  test   %rax,%rax
  je     L86
  mov    %rsp,%rdx
  lea    D97(%rip),%rsi
  mov    %r13,%rdi
  call   <insert_abbreviation@plt>
  jmp    L3
  xchg   %ax,%ax
L86:
  lea    D7(%rip),%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <is_substitutable_sequence@plt>
  test   %rax,%rax
  jne    L132
  mov    0x4(%rsp),%eax
  movzbl (%rbx,%rax,1),%edx
  mov    (%rsp),%eax
  mov    %dl,0x0(%r13,%rax,1)
  addl   $0x1,(%rsp)
  jmp    L3
L132:
  mov    %rsp,%rdx
  lea    D118(%rip),%rsi
  mov    %r13,%rdi
  call   <insert_abbreviation@plt>
  jmp    L3
L65:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D100
type_guessed: string
name: extract_symbolic_data
arguments: label: D54
type_guessed: string
name: extract_symbolic_data
arguments: label: D25
type_guessed: string
name: extract_symbolic_data
arguments: label: D22
type_guessed: string
name: extract_symbolic_data
arguments: label: D0
type_guessed: string
name: extract_symbolic_data
arguments: label: D12
type_guessed: string
name: extract_symbolic_data
arguments: label: D34
type_guessed: string
name: extract_symbolic_data
arguments: label: D80
type_guessed: string
name: extract_symbolic_data
arguments: label: D42
type_guessed: string
name: extract_symbolic_data
arguments: label: D97
type_guessed: string
name: extract_symbolic_data
arguments: label: D7
type_guessed: string
name: extract_symbolic_data
arguments: label: D118
type_guessed: string

tool: D100: DCCCC

tool: D54: CCCC

tool: D25: CM

tool: D22: CD

tool: D0: LXXXX

tool: D12: XC

tool: D34: XXXX

tool: D80: XL

tool: D42: VIIII

tool: D97: IX

tool: D7: IIII

tool: D118: IV

assistant: ```c
char *abbreviate(char original[]) {
  unsigned int original_length = strlen(original);
  char *abbreviated = calloc(original_length + 1, sizeof(char));
  unsigned int j = 0;
  unsigned int i;
  for (i = 0; i < original_length; i++) {
    if (is_substitutable_sequence(original, &i, "DCCCC")) {
      insert_abbreviation(abbreviated, "CM", &j);
    } else if (is_substitutable_sequence(original, &i, "CCCC")) {
      insert_abbreviation(abbreviated, "CD", &j);
    } else if (is_substitutable_sequence(original, &i, "LXXXX")) {
      insert_abbreviation(abbreviated, "XC", &j);
    } else if (is_substitutable_sequence(original, &i, "XXXX")) {
      insert_abbreviation(abbreviated, "XL", &j);
    } else if (is_substitutable_sequence(original, &i, "VIIII")) {
      insert_abbreviation(abbreviated, "IX", &j);
    } else if (is_substitutable_sequence(original, &i, "IIII")) {
      insert_abbreviation(abbreviated, "IV", &j);
    } else {
      abbreviated[j] = original[i];
      j += 1;
    }
  }
  return abbreviated;
}
```