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

```asm
<couleur_test1>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x38(%rsp)
  xor    %eax,%eax
  movsd  D58(%rip),%xmm2
  pxor   %xmm1,%xmm1
  movapd %xmm1,%xmm0
  lea    D67(%rip),%rdi
  call   <printf@plt>
  lea    0x18(%rsp),%r12
  lea    0x10(%rsp),%rbp
  lea    0x8(%rsp),%rbx
  mov    %r12,%r9
  mov    %rbp,%r8
  mov    %rbx,%rcx
  mov    $0xff,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  call   <RGB0255toRGB01@plt>
  movsd  0x18(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm0
  lea    D15(%rip),%rdi
  call   <printf@plt>
  lea    0x30(%rsp),%r15
  lea    0x28(%rsp),%r14
  lea    0x20(%rsp),%r13
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %r13,%rdi
  movsd  0x18(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <RGBtoHSVPat@plt>
  movsd  0x30(%rsp),%xmm2
  movsd  0x28(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  lea    D51(%rip),%rdi
  call   <printf@plt>
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  movsd  0x30(%rsp),%xmm2
  movsd  0x28(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  call   <H360S1V1toHSV255@plt>
  movsd  0x18(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm0
  lea    D31(%rip),%rdi
  call   <printf@plt>
  mov    %r15,%rdx
  mov    %r14,%rsi
  mov    %r13,%rdi
  movsd  0x18(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm0
  call   <HSV255toH360S1V1@plt>
  movsd  0x30(%rsp),%xmm2
  movsd  0x28(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  lea    D9(%rip),%rdi
  call   <printf@plt>
  movsd  0x30(%rsp),%xmm2
  movsd  0x28(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %rbx,%rdi
  call   <HSVtoRGBPat@plt>
  movsd  0x18(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm0
  lea    D12(%rip),%rdi
  call   <printf@plt>
  mov    0x38(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L2
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L2:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: tag: D58
data_type: f64
name: disassemble_data
arguments: tag: D67
data_type: string
name: disassemble_data
arguments: tag: D15
data_type: string
name: disassemble_data
arguments: tag: D51
data_type: string
name: disassemble_data
arguments: tag: D31
data_type: string
name: disassemble_data
arguments: tag: D9
data_type: string
name: disassemble_data
arguments: tag: D12
data_type: string

tool: D58: 255

tool: D67: RGB0255 %lf %lf %lf


tool: D15: RGB01 %lf %lf %lf


tool: D51: RGBtoHSV %lf %lf %lf


tool: D31: H360S1V1toHSV255 %lf %lf %lf


tool: D9: HSV255toH360S1V1 %lf %lf %lf


tool: D12: HSVtoRGB01 %lf %lf %lf


assistant: ```c
void couleur_test1() {
  double c1, c2, c3, c4, c5, c6;
  printf("RGB0255 %lf %lf %lf\n", 0., 0., 255.);
  RGB0255toRGB01(0., 0., 255., &c1, &c2, &c3);
  printf("RGB01 %lf %lf %lf\n", c1, c2, c3);
  RGBtoHSVPat(c1, c2, c3, &c4, &c5, &c6);
  printf("RGBtoHSV %lf %lf %lf\n", c4, c5, c6);
  H360S1V1toHSV255(c4, c5, c6, &c1, &c2, &c3);
  printf("H360S1V1toHSV255 %lf %lf %lf\n", c1, c2, c3);
  HSV255toH360S1V1(c1, c2, c3, &c4, &c5, &c6);
  printf("HSV255toH360S1V1 %lf %lf %lf\n", c4, c5, c6);
  HSVtoRGBPat(&c1, &c2, &c3, c4, c5, c6);
  printf("HSVtoRGB01 %lf %lf %lf\n", c1, c2, c3);
}
```