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

```asm
<emit_regsave_area>:
  endbr64
  push   %r15
  mov    $0xfffffed0,%edx
  lea    D75(%rip),%rsi
  xor    %eax,%eax
  push   %r14
  mov    $0x5d9,%edi
  lea    D9(%rip),%r15
  lea    D12(%rip),%r14
  push   %r13
  lea    D62(%rip),%r13
  push   %r12
  lea    D6(%rip),%r12
  push   %rbp
  push   %rbx
  xor    %ebx,%ebx
  sub    $0x8,%rsp
  call   <emitf@plt>
  mov    $0xfffffed8,%edx
  lea    D56(%rip),%rsi
  xor    %eax,%eax
  mov    $0x5da,%edi
  call   <emitf@plt>
  mov    $0xfffffee0,%edx
  lea    D17(%rip),%rsi
  xor    %eax,%eax
  mov    $0x5db,%edi
  call   <emitf@plt>
  mov    $0xfffffee8,%edx
  lea    D100(%rip),%rsi
  xor    %eax,%eax
  mov    $0x5dc,%edi
  call   <emitf@plt>
  mov    $0xfffffef0,%edx
  lea    D105(%rip),%rsi
  xor    %eax,%eax
  mov    $0x5dd,%edi
  call   <emitf@plt>
  mov    $0xfffffef8,%edx
  lea    D72(%rip),%rsi
  xor    %eax,%eax
  mov    $0x5de,%edi
  call   <emitf@plt>
  xor    %eax,%eax
  call   <make_label@plt>
  mov    %rax,%rbp
  nopw   0x0(%rax,%rax,1)
L4:
  mov    %r15,%rsi
  mov    $0x5e1,%edi
  xor    %eax,%eax
  call   <emitf@plt>
  mov    %rbp,%rdx
  mov    %r14,%rsi
  mov    $0x5e2,%edi
  xor    %eax,%eax
  call   <emitf@plt>
  mov    %ebx,%ecx
  mov    %ebx,%edx
  mov    %r13,%rsi
  shl    $0x4,%ecx
  mov    $0x5e3,%edi
  xor    %eax,%eax
  add    $0x1,%ebx
  sub    $0x100,%ecx
  call   <emitf@plt>
  mov    %r12,%rsi
  mov    $0x5e4,%edi
  xor    %eax,%eax
  call   <emitf@plt>
  cmp    $0x10,%ebx
  jne    L4
  mov    %rbp,%rdi
  call   <emit_label@plt>
  mov    $0x130,%edx
  lea    D50(%rip),%rsi
  xor    %eax,%eax
  mov    $0x5e7,%edi
  call   <emitf@plt>
  add    $0x8,%rsp
  mov    $0x130,%eax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: data_tag: D75
type: string
name: read_data
arguments: data_tag: D9
type: string
name: read_data
arguments: data_tag: D12
type: string
name: read_data
arguments: data_tag: D62
type: string
name: read_data
arguments: data_tag: D6
type: string
name: read_data
arguments: data_tag: D56
type: string
name: read_data
arguments: data_tag: D17
type: string
name: read_data
arguments: data_tag: D100
type: string
name: read_data
arguments: data_tag: D105
type: string
name: read_data
arguments: data_tag: D72
type: string
name: read_data
arguments: data_tag: D50
type: string

tool: D75: 	mov %%rdi, %d(%%rsp)

tool: D9: 	test %%al, %%al

tool: D12: 	jz %s

tool: D62: 	movsd %%xmm%d, %d(%%rsp)

tool: D6: 	sub $1, %%al

tool: D56: 	mov %%rsi, %d(%%rsp)

tool: D17: 	mov %%rdx, %d(%%rsp)

tool: D100: 	mov %%rcx, %d(%%rsp)

tool: D105: 	mov %%r8, %d(%%rsp)

tool: D72: 	mov %%r9, %d(%%rsp)

tool: D50: 	sub $%d, %%rsp

assistant: ```c
int emit_regsave_area(void) {
  int pos = -304;
  emitf(1497,
        "\t"
        "mov %%rdi, %d(%%rsp)",
        pos);
  emitf(1498,
        "\t"
        "mov %%rsi, %d(%%rsp)",
        (pos += 8));
  emitf(1499,
        "\t"
        "mov %%rdx, %d(%%rsp)",
        (pos += 8));
  emitf(1500,
        "\t"
        "mov %%rcx, %d(%%rsp)",
        (pos += 8));
  emitf(1501,
        "\t"
        "mov %%r8, %d(%%rsp)",
        (pos += 8));
  emitf(1502,
        "\t"
        "mov %%r9, %d(%%rsp)",
        pos + 8);
  char *end = make_label();
  for (int i = 0; i < 16; i++) {
    emitf(1505, "\t"
                "test %%al, %%al");
    emitf(1506,
          "\t"
          "jz %s",
          end);
    emitf(1507,
          "\t"
          "movsd %%xmm%d, %d(%%rsp)",
          i, (pos += 16));
    emitf(1508, "\t"
                "sub $1, %%al");
  }
  emit_label(end);
  emitf(1511,
        "\t"
        "sub $%d, %%rsp",
        304);
  return 304;
}
```