user: What is the c source code of the assembly code below?

```asm
<unpackforblock4_64>:
  endbr64
  mov    (%rsi),%r9
  mov    (%rdx),%r11
  mov    %rdx,%r8
  movd   %edi,%xmm3
  pshufd $0x0,%xmm3,%xmm1
  mov    (%r9),%eax
  mov    0x4(%r9),%edx
  add    $0x40,%r9
  mov    %r9,(%rsi)
  mov    %eax,%esi
  mov    %eax,%ecx
  mov    %eax,%r9d
  mov    %eax,%r10d
  sar    $0x4,%esi
  sar    $0x8,%ecx
  movd   %eax,%xmm0
  movd   %esi,%xmm5
  mov    %eax,%esi
  sar    $0xc,%r9d
  movd   %ecx,%xmm2
  sar    $0x10,%esi
  movd   %r9d,%xmm4
  punpckldq %xmm5,%xmm0
  mov    %eax,%ecx
  and    $0xf,%esi
  punpckldq %xmm4,%xmm2
  shr    $0x1c,%ecx
  add    %edi,%esi
  punpcklqdq %xmm2,%xmm0
  pand   D3(%rip),%xmm0
  mov    %esi,0x10(%r11)
  mov    %eax,%esi
  sar    $0x14,%esi
  paddd  %xmm1,%xmm0
  and    $0xf,%esi
  movups %xmm0,(%r11)
  movd   %ecx,%xmm0
  mov    $0x20,%ecx
  add    %edi,%esi
  mov    %esi,0x14(%r11)
  mov    %eax,%esi
  sar    $0x18,%esi
  and    $0xf,%esi
  add    %edi,%esi
  mov    %esi,0x18(%r11)
  mov    %eax,%esi
  sar    %cl,%esi
  mov    $0x24,%ecx
  and    $0xf,%esi
  mov    %esi,%r9d
  mov    %eax,%esi
  sar    %cl,%esi
  mov    $0x28,%ecx
  movd   %r9d,%xmm7
  sar    %cl,%r10d
  and    $0xf,%esi
  punpckldq %xmm7,%xmm0
  mov    $0x2c,%ecx
  and    $0xf,%r10d
  movd   %esi,%xmm2
  mov    %eax,%esi
  movd   %r10d,%xmm6
  sar    %cl,%esi
  mov    $0x30,%ecx
  mov    %eax,%r10d
  punpckldq %xmm6,%xmm2
  and    $0xf,%esi
  punpcklqdq %xmm2,%xmm0
  paddd  %xmm1,%xmm0
  movups %xmm0,0x1c(%r11)
  movd   %esi,%xmm0
  mov    %eax,%esi
  sar    %cl,%esi
  mov    $0x34,%ecx
  and    $0xf,%esi
  mov    %esi,%r9d
  mov    %eax,%esi
  sar    %cl,%esi
  mov    $0x38,%ecx
  movd   %r9d,%xmm4
  mov    %edx,%r9d
  sar    %cl,%r10d
  and    $0xf,%esi
  punpckldq %xmm4,%xmm0
  mov    $0x3c,%ecx
  and    $0xf,%r10d
  movd   %esi,%xmm2
  sar    %cl,%eax
  mov    %edx,%esi
  movd   %r10d,%xmm3
  and    $0xf,%r9d
  mov    $0x20,%ecx
  punpckldq %xmm3,%xmm2
  movd   %r9d,%xmm6
  mov    %edx,%r9d
  punpcklqdq %xmm2,%xmm0
  paddd  %xmm1,%xmm0
  movups %xmm0,0x2c(%r11)
  movd   %eax,%xmm0
  mov    %edx,%eax
  sar    $0x4,%eax
  punpckldq %xmm6,%xmm0
  and    $0xf,%eax
  sar    $0x8,%esi
  and    $0xf,%esi
  movd   %eax,%xmm2
  mov    %edx,%eax
  sar    $0x18,%r9d
  movd   %esi,%xmm5
  sar    $0xc,%eax
  and    $0xf,%r9d
  punpckldq %xmm5,%xmm2
  and    $0xf,%eax
  movd   %r9d,%xmm7
  mov    %edx,%r9d
  punpcklqdq %xmm2,%xmm0
  paddd  %xmm1,%xmm0
  movups %xmm0,0x3c(%r11)
  movd   %eax,%xmm0
  mov    %edx,%eax
  sar    $0x10,%eax
  and    $0xf,%eax
  mov    %eax,%esi
  mov    %edx,%eax
  sar    $0x14,%eax
  movd   %esi,%xmm3
  and    $0xf,%eax
  punpckldq %xmm3,%xmm0
  movd   %eax,%xmm2
  mov    %edx,%eax
  punpckldq %xmm7,%xmm2
  shr    $0x1c,%eax
  punpcklqdq %xmm2,%xmm0
  paddd  %xmm1,%xmm0
  movups %xmm0,0x4c(%r11)
  movd   %eax,%xmm0
  mov    %edx,%eax
  sar    %cl,%eax
  mov    $0x24,%ecx
  and    $0xf,%eax
  mov    %eax,%esi
  mov    %edx,%eax
  sar    %cl,%eax
  mov    $0x28,%ecx
  movd   %esi,%xmm5
  sar    %cl,%r9d
  and    $0xf,%eax
  punpckldq %xmm5,%xmm0
  mov    $0x2c,%ecx
  and    $0xf,%r9d
  movd   %eax,%xmm2
  mov    %edx,%eax
  movd   %r9d,%xmm4
  sar    %cl,%eax
  mov    $0x30,%ecx
  mov    %edx,%r9d
  punpckldq %xmm4,%xmm2
  and    $0xf,%eax
  punpcklqdq %xmm2,%xmm0
  paddd  %xmm1,%xmm0
  movups %xmm0,0x5c(%r11)
  movd   %eax,%xmm0
  mov    %edx,%eax
  sar    %cl,%eax
  mov    $0x34,%ecx
  and    $0xf,%eax
  mov    %eax,%esi
  mov    %edx,%eax
  sar    %cl,%eax
  mov    $0x38,%ecx
  movd   %esi,%xmm7
  sar    %cl,%r9d
  and    $0xf,%eax
  punpckldq %xmm7,%xmm0
  mov    $0x3c,%ecx
  and    $0xf,%r9d
  movd   %eax,%xmm2
  sar    %cl,%edx
  movd   %r9d,%xmm6
  add    %edi,%edx
  punpckldq %xmm6,%xmm2
  mov    %edx,0x7c(%r11)
  punpcklqdq %xmm2,%xmm0
  paddd  %xmm1,%xmm0
  movups %xmm0,0x6c(%r11)
  subq   $0xffffffffffffff80,(%r8)
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D3
type: byte[16]

tool: {"D3": [0x0f,0x00,0x00,0x00,0x0f,0x00,0x00,0x00,0x0f,0x00,0x00,0x00,0x0f,0x00,0x00,0x00]}

assistant: ```c
void unpackforblock4_64(const uint64_t base, const uint8_t **pw, uint64_t **pout) {
  const uint64_t *pw64 = *(const uint64_t **)pw;
  uint64_t *out = *pout;
  const uint64_t mask = (15ULL);
  uint64_t w0 = pw64[0];
  uint64_t w1 = pw64[1];
  *pw += 16;
  out[0] = base + ((w0)&mask);
  out[1] = base + ((w0 >> 4) & mask);
  out[2] = base + ((w0 >> 8) & mask);
  out[3] = base + ((w0 >> 12) & mask);
  out[4] = base + ((w0 >> 16) & mask);
  out[5] = base + ((w0 >> 20) & mask);
  out[6] = base + ((w0 >> 24) & mask);
  out[7] = base + ((w0 >> 28) & mask);
  out[8] = base + ((w0 >> 32) & mask);
  out[9] = base + ((w0 >> 36) & mask);
  out[10] = base + ((w0 >> 40) & mask);
  out[11] = base + ((w0 >> 44) & mask);
  out[12] = base + ((w0 >> 48) & mask);
  out[13] = base + ((w0 >> 52) & mask);
  out[14] = base + ((w0 >> 56) & mask);
  out[15] = base + (w0 >> 60);
  out[16] = base + ((w1)&mask);
  out[17] = base + ((w1 >> 4) & mask);
  out[18] = base + ((w1 >> 8) & mask);
  out[19] = base + ((w1 >> 12) & mask);
  out[20] = base + ((w1 >> 16) & mask);
  out[21] = base + ((w1 >> 20) & mask);
  out[22] = base + ((w1 >> 24) & mask);
  out[23] = base + ((w1 >> 28) & mask);
  out[24] = base + ((w1 >> 32) & mask);
  out[25] = base + ((w1 >> 36) & mask);
  out[26] = base + ((w1 >> 40) & mask);
  out[27] = base + ((w1 >> 44) & mask);
  out[28] = base + ((w1 >> 48) & mask);
  out[29] = base + ((w1 >> 52) & mask);
  out[30] = base + ((w1 >> 56) & mask);
  out[31] = base + (w1 >> 60);
  *pout += 32;
}
```