user: Converte this assembly snippet into its equivalent C code:

```asm
<coordinates_p3_tetrahedra_sn>:
  endbr64
  movsd  D46(%rip),%xmm0
  movsd  %xmm0,(%rdi)
  movsd  %xmm0,0x8(%rdi)
  mov    D72(%rip),%rax
  mov    %rax,0x10(%rdi)
  movsd  %xmm0,0x18(%rdi)
  movsd  D1(%rip),%xmm0
  movsd  %xmm0,0x20(%rdi)
  movsd  %xmm0,0x28(%rdi)
  movsd  D18(%rip),%xmm1
  movsd  %xmm1,0x30(%rdi)
  movsd  %xmm1,0x38(%rdi)
  movsd  %xmm1,0x40(%rdi)
  movsd  %xmm0,0x48(%rdi)
  movsd  D103(%rip),%xmm1
  movsd  %xmm1,0x50(%rdi)
  movsd  D3(%rip),%xmm3
  movsd  %xmm3,0x58(%rdi)
  movsd  %xmm1,0x60(%rdi)
  movsd  D2(%rip),%xmm0
  movsd  %xmm0,0x68(%rdi)
  movsd  D32(%rip),%xmm2
  movsd  %xmm2,0x70(%rdi)
  movsd  %xmm0,0x78(%rdi)
  movsd  %xmm1,0x80(%rdi)
  movsd  %xmm1,0x88(%rdi)
  movsd  %xmm3,0x90(%rdi)
  movsd  %xmm0,0x98(%rdi)
  movsd  %xmm0,0xa0(%rdi)
  movsd  %xmm2,0xa8(%rdi)
  movq   $0x0,0xb0(%rdi)
  movq   $0x0,0xb8(%rdi)
  movq   $0x0,0xc0(%rdi)
  movq   $0x0,0xc8(%rdi)
  movq   $0x0,0xd0(%rdi)
  movq   $0x0,0xd8(%rdi)
  movsd  %xmm1,0xe0(%rdi)
  movsd  %xmm3,0xe8(%rdi)
  movsd  %xmm1,0xf0(%rdi)
  movsd  %xmm0,0xf8(%rdi)
  movsd  %xmm2,0x100(%rdi)
  movsd  %xmm0,0x108(%rdi)
  movsd  D96(%rip),%xmm1
  movsd  %xmm1,0x110(%rdi)
  movsd  D83(%rip),%xmm0
  movsd  %xmm0,0x118(%rdi)
  movsd  %xmm0,0x120(%rdi)
  movsd  %xmm1,0x128(%rdi)
  movq   $0x0,0x130(%rdi)
  movq   $0x0,0x138(%rdi)
  movq   $0x0,0x140(%rdi)
  movq   $0x0,0x148(%rdi)
  movsd  %xmm1,0x150(%rdi)
  movsd  %xmm0,0x158(%rdi)
  movq   $0x0,0x160(%rdi)
  movq   $0x0,0x168(%rdi)
  movq   $0x0,0x170(%rdi)
  mov    D9(%rip),%rax
  mov    %rax,0x178(%rdi)
  movq   $0x0,0x180(%rdi)
  movq   $0x0,0x188(%rdi)
  ret
```

tool_calls: name: unpack_data
arguments: label: D46
datatype: f64
name: unpack_data
arguments: label: D72
datatype: f64
name: unpack_data
arguments: label: D1
datatype: f64
name: unpack_data
arguments: label: D18
datatype: f64
name: unpack_data
arguments: label: D103
datatype: f64
name: unpack_data
arguments: label: D3
datatype: f64
name: unpack_data
arguments: label: D2
datatype: f64
name: unpack_data
arguments: label: D32
datatype: f64
name: unpack_data
arguments: label: D96
datatype: f64
name: unpack_data
arguments: label: D83
datatype: f64
name: unpack_data
arguments: label: D9
datatype: f32[2]

tool: D46: 0.0950377585839411

tool: D72: 0.714886724248177

tool: D1: 0.125246236257814

tool: D18: 0.374753763742186

tool: D103: 0.197286228025798

tool: D3: 0.605427543948405

tool: D2: 0.425646124313935

tool: D32: 0.148707751372131

tool: D96: 0.292829404767411

tool: D83: 0.707170595232589

tool: {"D9": [0.0,1.875]}

assistant: ```c
void coordinates_p3_tetrahedra_sn(double *out_1612380840510882963) {
  out_1612380840510882963[0] = 0.0950377585839411;
  out_1612380840510882963[1] = 0.0950377585839411;
  out_1612380840510882963[2] = 0.714886724248177;
  out_1612380840510882963[3] = 0.0950377585839411;
  out_1612380840510882963[4] = 0.125246236257814;
  out_1612380840510882963[5] = 0.125246236257814;
  out_1612380840510882963[6] = 0.374753763742186;
  out_1612380840510882963[7] = 0.374753763742186;
  out_1612380840510882963[8] = 0.374753763742186;
  out_1612380840510882963[9] = 0.125246236257814;
  out_1612380840510882963[10] = 0.197286228025798;
  out_1612380840510882963[11] = 0.605427543948405;
  out_1612380840510882963[12] = 0.197286228025798;
  out_1612380840510882963[13] = 0.425646124313935;
  out_1612380840510882963[14] = 0.148707751372131;
  out_1612380840510882963[15] = 0.425646124313935;
  out_1612380840510882963[16] = 0.197286228025798;
  out_1612380840510882963[17] = 0.197286228025798;
  out_1612380840510882963[18] = 0.605427543948405;
  out_1612380840510882963[19] = 0.425646124313935;
  out_1612380840510882963[20] = 0.425646124313935;
  out_1612380840510882963[21] = 0.148707751372131;
  out_1612380840510882963[22] = 0.0;
  out_1612380840510882963[23] = 0.0;
  out_1612380840510882963[24] = 0.0;
  out_1612380840510882963[25] = 0.0;
  out_1612380840510882963[26] = 0.0;
  out_1612380840510882963[27] = 0.0;
  out_1612380840510882963[28] = 0.197286228025798;
  out_1612380840510882963[29] = 0.605427543948405;
  out_1612380840510882963[30] = 0.197286228025798;
  out_1612380840510882963[31] = 0.425646124313935;
  out_1612380840510882963[32] = 0.148707751372131;
  out_1612380840510882963[33] = 0.425646124313935;
  out_1612380840510882963[34] = 0.292829404767411;
  out_1612380840510882963[35] = 0.707170595232589;
  out_1612380840510882963[36] = 0.707170595232589;
  out_1612380840510882963[37] = 0.292829404767411;
  out_1612380840510882963[38] = 0.0;
  out_1612380840510882963[39] = 0.0;
  out_1612380840510882963[40] = 0.0;
  out_1612380840510882963[41] = 0.0;
  out_1612380840510882963[42] = 0.292829404767411;
  out_1612380840510882963[43] = 0.707170595232589;
  out_1612380840510882963[44] = 0.0;
  out_1612380840510882963[45] = 0.0;
  out_1612380840510882963[46] = 0;
  out_1612380840510882963[47] = 1;
  out_1612380840510882963[48] = 0;
  out_1612380840510882963[49] = 0;
}
```