user: What would the C source look like for the assembly code provided here?

```asm
<unpackforblock25_64>:
  endbr64
  push   %r15
  mov    %edi,%eax
  push   %r14
  mov    %rsi,%r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    (%rsi),%rcx
  mov    0x10(%rcx),%ebx
  mov    0x18(%rcx),%esi
  add    $0x190,%rcx
  mov    -0x190(%rcx),%r13d
  mov    -0x18c(%rcx),%r11d
  mov    %rdx,-0x8(%rsp)
  mov    %ebx,-0x10(%rsp)
  mov    (%rdx),%rdx
  mov    %esi,-0xc(%rsp)
  mov    -0x184(%rcx),%r10d
  mov    -0x17c(%rcx),%r9d
  mov    -0x174(%rcx),%r8d
  mov    -0x170(%rcx),%edi
  mov    -0x168(%rcx),%esi
  mov    -0x188(%rcx),%r12d
  mov    -0x16c(%rcx),%ebp
  mov    -0x164(%rcx),%ebx
  mov    -0x160(%rcx),%r15d
  mov    %rcx,(%r14)
  mov    %r13d,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,(%rdx)
  mov    %r13d,%ecx
  sar    $0x19,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x4(%rdx)
  mov    $0x32,%ecx
  sar    %cl,%r13d
  mov    %r11d,%ecx
  shl    $0xe,%ecx
  or     %ecx,%r13d
  mov    %r11d,%ecx
  sar    $0xb,%ecx
  and    $0x1ffffff,%r13d
  and    $0x1ffffff,%ecx
  add    %eax,%r13d
  add    %eax,%ecx
  mov    %r13d,0x8(%rdx)
  mov    %r11d,%r13d
  mov    %ecx,0xc(%rdx)
  mov    $0x24,%ecx
  sar    %cl,%r13d
  mov    %r13d,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x10(%rdx)
  mov    $0x3d,%ecx
  sar    %cl,%r11d
  lea    0x0(,%r12,8),%ecx
  or     %ecx,%r11d
  mov    %r12d,%ecx
  sar    $0x16,%ecx
  and    $0x1ffffff,%r11d
  and    $0x1ffffff,%ecx
  add    %eax,%r11d
  add    %eax,%ecx
  mov    %r11d,0x14(%rdx)
  mov    %r10d,%r11d
  mov    %ecx,0x18(%rdx)
  mov    $0x2f,%ecx
  sar    %cl,%r12d
  mov    %r10d,%ecx
  shl    $0x11,%ecx
  or     %ecx,%r12d
  mov    %r10d,%ecx
  sar    $0x8,%ecx
  and    $0x1ffffff,%r12d
  and    $0x1ffffff,%ecx
  add    %eax,%r12d
  add    %eax,%ecx
  mov    %r12d,0x1c(%rdx)
  mov    -0x10(%rsp),%r14d
  mov    %ecx,0x20(%rdx)
  mov    $0x21,%ecx
  sar    %cl,%r11d
  mov    %r11d,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x24(%rdx)
  mov    $0x3a,%ecx
  sar    %cl,%r10d
  mov    %r14d,%ecx
  shl    $0x6,%ecx
  or     %ecx,%r10d
  mov    %r14d,%ecx
  sar    $0x13,%ecx
  and    $0x1ffffff,%r10d
  and    $0x1ffffff,%ecx
  add    %eax,%r10d
  add    %eax,%ecx
  mov    %r10d,0x28(%rdx)
  mov    %r9d,%r10d
  mov    %ecx,0x2c(%rdx)
  mov    $0x2c,%ecx
  shl    $0x14,%r10d
  sar    %cl,%r14d
  mov    %r14d,%ecx
  mov    -0xc(%rsp),%r14d
  or     %r10d,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x30(%rdx)
  mov    %r9d,%ecx
  sar    $0x5,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x34(%rdx)
  mov    %r9d,%ecx
  sar    $0x1e,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x38(%rdx)
  mov    $0x37,%ecx
  sar    %cl,%r9d
  mov    %r14d,%ecx
  shl    $0x9,%ecx
  or     %ecx,%r9d
  mov    %r14d,%ecx
  sar    $0x10,%ecx
  and    $0x1ffffff,%r9d
  and    $0x1ffffff,%ecx
  add    %eax,%r9d
  add    %eax,%ecx
  mov    %r9d,0x3c(%rdx)
  mov    %r8d,%r9d
  mov    %ecx,0x40(%rdx)
  mov    $0x29,%ecx
  shl    $0x17,%r9d
  sar    %cl,%r14d
  mov    %r14d,%ecx
  or     %r9d,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x44(%rdx)
  mov    %r8d,%ecx
  sar    $0x2,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x48(%rdx)
  mov    %r8d,%ecx
  sar    $0x1b,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x4c(%rdx)
  mov    $0x34,%ecx
  sar    %cl,%r8d
  mov    %edi,%ecx
  shl    $0xc,%ecx
  or     %ecx,%r8d
  mov    %edi,%ecx
  sar    $0xd,%ecx
  and    $0x1ffffff,%r8d
  and    $0x1ffffff,%ecx
  add    %eax,%r8d
  add    %eax,%ecx
  mov    %r8d,0x50(%rdx)
  mov    %edi,%r8d
  mov    %ecx,0x54(%rdx)
  mov    $0x26,%ecx
  sar    %cl,%r8d
  mov    %r8d,%ecx
  mov    %esi,%r8d
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x58(%rdx)
  mov    $0x3f,%ecx
  sar    %cl,%edi
  lea    0x0(%rbp,%rbp,1),%ecx
  or     %ecx,%edi
  mov    %ebp,%ecx
  sar    $0x18,%ecx
  and    $0x1ffffff,%edi
  and    $0x1ffffff,%ecx
  add    %eax,%edi
  add    %eax,%ecx
  mov    %edi,0x5c(%rdx)
  mov    %r15d,%edi
  mov    %ecx,0x60(%rdx)
  mov    $0x31,%ecx
  sar    %cl,%ebp
  mov    %esi,%ecx
  shl    $0xf,%ecx
  or     %ecx,%ebp
  mov    %esi,%ecx
  and    $0x1ffffff,%ebp
  add    %eax,%ebp
  sar    $0xa,%ecx
  and    $0x1ffffff,%ecx
  shr    $0x7,%edi
  mov    %ebp,0x64(%rdx)
  add    %eax,%ecx
  mov    %ecx,0x68(%rdx)
  mov    $0x23,%ecx
  sar    %cl,%r8d
  mov    %r8d,%ecx
  and    $0x1ffffff,%ecx
  add    %eax,%ecx
  mov    %ecx,0x6c(%rdx)
  mov    $0x3c,%ecx
  sar    %cl,%esi
  mov    %ebx,%ecx
  shl    $0x4,%ecx
  or     %ecx,%esi
  mov    %ebx,%ecx
  sar    $0x15,%ecx
  and    $0x1ffffff,%esi
  and    $0x1ffffff,%ecx
  add    %eax,%esi
  add    %eax,%ecx
  mov    %esi,0x70(%rdx)
  mov    %ecx,0x74(%rdx)
  mov    $0x2e,%ecx
  sar    %cl,%ebx
  mov    %r15d,%ecx
  shl    $0x12,%ecx
  or     %ecx,%ebx
  and    $0x1ffffff,%ebx
  add    %eax,%ebx
  add    %edi,%eax
  mov    %eax,0x7c(%rdx)
  mov    -0x8(%rsp),%rax
  mov    %ebx,0x78(%rdx)
  subq   $0xffffffffffffff80,(%rax)
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void unpackforblock25_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 = (33554431ULL);
  uint64_t w0 = pw64[0];
  uint64_t w1 = pw64[1];
  uint64_t w2 = pw64[2];
  uint64_t w3 = pw64[3];
  uint64_t w4 = pw64[4];
  uint64_t w5 = pw64[5];
  uint64_t w6 = pw64[6];
  uint64_t w7 = pw64[7];
  uint64_t w8 = pw64[8];
  uint64_t w9 = pw64[9];
  uint64_t w10 = pw64[10];
  uint64_t w11 = pw64[11];
  uint64_t w12 = pw64[12];
  *pw += 100;
  out[0] = base + ((w0)&mask);
  out[1] = base + ((w0 >> 25) & mask);
  out[2] = base + (((w0 >> 50) | (w1 << 14)) & mask);
  out[3] = base + ((w1 >> 11) & mask);
  out[4] = base + ((w1 >> 36) & mask);
  out[5] = base + (((w1 >> 61) | (w2 << 3)) & mask);
  out[6] = base + ((w2 >> 22) & mask);
  out[7] = base + (((w2 >> 47) | (w3 << 17)) & mask);
  out[8] = base + ((w3 >> 8) & mask);
  out[9] = base + ((w3 >> 33) & mask);
  out[10] = base + (((w3 >> 58) | (w4 << 6)) & mask);
  out[11] = base + ((w4 >> 19) & mask);
  out[12] = base + (((w4 >> 44) | (w5 << 20)) & mask);
  out[13] = base + ((w5 >> 5) & mask);
  out[14] = base + ((w5 >> 30) & mask);
  out[15] = base + (((w5 >> 55) | (w6 << 9)) & mask);
  out[16] = base + ((w6 >> 16) & mask);
  out[17] = base + (((w6 >> 41) | (w7 << 23)) & mask);
  out[18] = base + ((w7 >> 2) & mask);
  out[19] = base + ((w7 >> 27) & mask);
  out[20] = base + (((w7 >> 52) | (w8 << 12)) & mask);
  out[21] = base + ((w8 >> 13) & mask);
  out[22] = base + ((w8 >> 38) & mask);
  out[23] = base + (((w8 >> 63) | (w9 << 1)) & mask);
  out[24] = base + ((w9 >> 24) & mask);
  out[25] = base + (((w9 >> 49) | (w10 << 15)) & mask);
  out[26] = base + ((w10 >> 10) & mask);
  out[27] = base + ((w10 >> 35) & mask);
  out[28] = base + (((w10 >> 60) | (w11 << 4)) & mask);
  out[29] = base + ((w11 >> 21) & mask);
  out[30] = base + (((w11 >> 46) | (w12 << 18)) & mask);
  out[31] = base + ((w12 >> 7) & mask);
  *pout += 32;
}
```