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

```asm
<MessageExpansion256>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x78,%rsp
  mov    %rdi,0x20(%rsp)
  mov    %rsi,0x10(%rsp)
  mov    %rdx,0x28(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  lea    0xc0(%rdi),%rax
  mov    %rax,0x38(%rsp)
  movl   $0x20,0x34(%rsp)
  lea    0x50(%rsp),%r15
  jmp    L31
L102:
  mov    0x28(%rsp),%rsi
  mov    (%rsi),%eax
  mov    0x20(%rsp),%rdi
  xor    %eax,0x40(%rdi)
  mov    0x4(%rsi),%eax
  xor    %eax,0x44(%rdi)
  jmp    L5
L60:
  add    $0x8,%r13d
  add    $0x20,%rbp
  cmp    0x30(%rsp),%r13d
  jge    L69
L29:
  mov    %rbp,%r14
  mov    -0x3c(%rbp),%eax
  mov    %eax,0x40(%rsp)
  mov    -0x38(%rbp),%eax
  mov    %eax,0x44(%rsp)
  mov    -0x34(%rbp),%eax
  mov    %eax,0x48(%rsp)
  mov    -0x40(%rbp),%eax
  mov    %eax,0x4c(%rsp)
  mov    0x10(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x8(%rsp),%rdi
  call   <roundAESkeyfirst@plt>
  mov    %r15,%rbx
  mov    %rbp,%rdx
  mov    %r15,%rax
L36:
  mov    (%rax),%ecx
  xor    -0x10(%rdx),%ecx
  mov    %ecx,(%rdx)
  add    $0x4,%rax
  add    $0x4,%rdx
  cmp    %r12,%rax
  jne    L36
  cmp    $0x10,%r13d
  je     L102
L5:
  mov    -0x2c(%r14),%eax
  mov    %eax,0x40(%rsp)
  mov    -0x28(%r14),%eax
  mov    %eax,0x44(%rsp)
  mov    -0x24(%r14),%eax
  mov    %eax,0x48(%rsp)
  mov    -0x30(%r14),%eax
  mov    %eax,0x4c(%rsp)
  mov    0x18(%rsp),%rdx
  mov    %r15,%rsi
  mov    0x8(%rsp),%rdi
  call   <roundAESkeyfirst@plt>
  lea    0x10(%rbp),%rax
L119:
  mov    (%rbx),%edx
  xor    -0x10(%rax),%edx
  mov    %edx,(%rax)
  add    $0x4,%rbx
  add    $0x4,%rax
  cmp    %r12,%rbx
  jne    L119
  cmp    $0x78,%r13d
  jne    L60
  mov    0x28(%rsp),%rsi
  mov    (%rsi),%eax
  mov    0x20(%rsp),%rdi
  xor    %eax,0x1f0(%rdi)
  mov    0x4(%rsi),%eax
  xor    %eax,0x1fc(%rdi)
  jmp    L60
L69:
  mov    0x34(%rsp),%eax
  add    $0xf,%eax
  cmp    %eax,0x30(%rsp)
  jg     L88
  mov    0x38(%rsp),%rcx
  lea    -0x40(%rcx),%rax
L45:
  mov    -0x40(%rax),%edx
  xor    -0xc(%rax),%edx
  mov    %edx,(%rax)
  add    $0x4,%rax
  cmp    %rcx,%rax
  jne    L45
L88:
  addl   $0x20,0x34(%rsp)
  mov    0x34(%rsp),%eax
  subq   $0xffffffffffffff80,0x38(%rsp)
  cmp    $0xa0,%eax
  je     L113
L31:
  mov    0x34(%rsp),%eax
  lea    -0x10(%rax),%r13d
  mov    %eax,0x30(%rsp)
  cmp    %r13d,%eax
  jle    L69
  mov    0x38(%rsp),%rax
  lea    -0x80(%rax),%rbp
  lea    0x40(%rsp),%rax
  mov    %rax,0x8(%rsp)
  lea    0x60(%rsp),%r12
  mov    0x10(%rsp),%rax
  add    $0x10,%rax
  mov    %rax,0x18(%rsp)
  jmp    L29
L113:
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L4
  add    $0x78,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L4:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void MessageExpansion256(uint32_t rk[(12 * 4 * (3))], uint32_t salt[8], uint32_t counter[2]) {
  int i, j, k;
  uint32_t input[4], output[4];
  for (k = 0; k < 4; k++) {
    for (i = 16 + 32 * k; i < 32 + 32 * k;) {
      input[0] = rk[i - 15];
      input[1] = rk[i - 14];
      input[2] = rk[i - 13];
      input[3] = rk[i - 16];
      roundAESkeyfirst(input, output, salt);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 16) {
        rk[16] ^= counter[0];
        rk[17] ^= counter[1];
      }
      if (i == 84) {
        rk[86] ^= counter[1];
        rk[87] ^= counter[0];
      }
      i += 4;
      input[0] = rk[i - 15];
      input[1] = rk[i - 14];
      input[2] = rk[i - 13];
      input[3] = rk[i - 16];
      roundAESkeyfirst(input, output, salt + 4);
      for (j = 0; j < 4; j++)
        rk[i + j] = output[j] ^ rk[i + j - 4];
      if (i == 56) {
        rk[57] ^= counter[1];
        rk[58] ^= counter[0];
      }
      if (i == 124) {
        rk[124] ^= counter[0];
        rk[127] ^= counter[1];
      }
      i += 4;
    }
    for (i = 32 + 32 * k; i < 48 + 32 * k; i++)
      rk[i] = rk[i - 16] ^ rk[i - 3];
  }
  return;
}
```