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

```asm
<MessageExpansion256>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %rdx,-0x58(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x0,-0x34(%rbp)
  jmp    L28
L109:
  mov    -0x34(%rbp),%eax
  shl    $0x5,%eax
  add    $0x10,%eax
  mov    %eax,-0x3c(%rbp)
  jmp    L3
L99:
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x3c(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x38(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x34(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x40(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x50(%rbp),%rdx
  lea    -0x20(%rbp),%rcx
  lea    -0x30(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <roundAESkeyfirst@plt>
  movl   $0x0,-0x38(%rbp)
  jmp    L60
L97:
  mov    -0x38(%rbp),%eax
  cltq
  mov    -0x20(%rbp,%rax,4),%ecx
  mov    -0x3c(%rbp),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0x3c(%rbp),%esi
  mov    -0x38(%rbp),%eax
  add    %esi,%eax
  cltq
  lea    0x0(,%rax,4),%rsi
  mov    -0x48(%rbp),%rax
  add    %rsi,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x38(%rbp)
L60:
  cmpl   $0x3,-0x38(%rbp)
  jle    L97
  cmpl   $0x10,-0x3c(%rbp)
  jne    L144
  mov    -0x48(%rbp),%rax
  add    $0x40,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0x40,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  add    $0x44,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0x44,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
L144:
  cmpl   $0x54,-0x3c(%rbp)
  jne    L73
  mov    -0x48(%rbp),%rax
  add    $0x158,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0x158,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  add    $0x15c,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0x15c,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
L73:
  addl   $0x4,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x3c(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x30(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x38(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x34(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x28(%rbp)
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x40(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x50(%rbp),%rax
  lea    0x10(%rax),%rdx
  lea    -0x20(%rbp),%rcx
  lea    -0x30(%rbp),%rax
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <roundAESkeyfirst@plt>
  movl   $0x0,-0x38(%rbp)
  jmp    L52
L76:
  mov    -0x38(%rbp),%eax
  cltq
  mov    -0x20(%rbp,%rax,4),%ecx
  mov    -0x3c(%rbp),%edx
  mov    -0x38(%rbp),%eax
  add    %edx,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0x3c(%rbp),%esi
  mov    -0x38(%rbp),%eax
  add    %esi,%eax
  cltq
  lea    0x0(,%rax,4),%rsi
  mov    -0x48(%rbp),%rax
  add    %rsi,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x38(%rbp)
L52:
  cmpl   $0x3,-0x38(%rbp)
  jle    L76
  cmpl   $0x38,-0x3c(%rbp)
  jne    L89
  mov    -0x48(%rbp),%rax
  add    $0xe4,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0xe4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  add    $0xe8,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0xe8,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
L89:
  cmpl   $0x7c,-0x3c(%rbp)
  jne    L130
  mov    -0x48(%rbp),%rax
  add    $0x1f0,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0x1f0,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x48(%rbp),%rax
  add    $0x1fc,%rax
  mov    (%rax),%ecx
  mov    -0x58(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x48(%rbp),%rax
  add    $0x1fc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
L130:
  addl   $0x4,-0x3c(%rbp)
L3:
  mov    -0x34(%rbp),%eax
  add    $0x1,%eax
  shl    $0x5,%eax
  cmp    %eax,-0x3c(%rbp)
  jl     L99
  mov    -0x34(%rbp),%eax
  add    $0x1,%eax
  shl    $0x5,%eax
  mov    %eax,-0x3c(%rbp)
  jmp    L149
L42:
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x40(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0xc(%rax),%rdx
  mov    -0x48(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0x3c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rsi
  mov    -0x48(%rbp),%rax
  add    %rsi,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  addl   $0x1,-0x3c(%rbp)
L149:
  mov    -0x34(%rbp),%eax
  shl    $0x5,%eax
  add    $0x2f,%eax
  cmp    %eax,-0x3c(%rbp)
  jle    L42
  addl   $0x1,-0x34(%rbp)
L28:
  cmpl   $0x3,-0x34(%rbp)
  jle    L109
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L9
  call   <__stack_chk_fail@plt>
L9:
  leave
  ret
```

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;
}
```