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

```asm
<aes_encrypt>:
  endbr64
  push   %r15
  mov    %rsi,%r15
  push   %r14
  mov    %rdi,%r14
  push   %r13
  mov    %rcx,%r13
  push   %r12
  and    $0xfffffffffffffff0,%r13
  push   %rbp
  mov    %ecx,%ebp
  push   %rbx
  and    $0xf,%ebp
  xor    %ebx,%ebx
  sub    $0x58,%rsp
  mov    %rdx,0x20(%rsp)
  lea    0x30(%rsp),%r12
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  mov    %rcx,%rax
  mov    %r13,0x10(%rsp)
  add    %rsi,%r13
  movl   $0x0,0x28(%rsp)
  shr    $0x4,%rax
  mov    %rax,0x8(%rsp)
  lea    -0x1(%rbp),%eax
  mov    %eax,0x2c(%rsp)
  jmp    L60
  cs nopw 0x0(%rax,%rax,1)
L141:
  test   %ebp,%ebp
  je     L45
  xor    %esi,%esi
  mov    $0x10,%edx
  mov    %r12,%rdi
  call   <memset@plt>
  mov    %ebp,%edx
  mov    %r13,%rsi
  mov    %r12,%rdi
  mov    0x10(%rsp),%rbx
  call   <memcpy@plt>
  cmpl   $0x6,0x2c(%rsp)
  jbe    L110
  movq   0x0(%r13),%xmm0
  movq   (%r14),%xmm1
  pxor   %xmm1,%xmm0
  movq   %xmm0,0x30(%rsp)
  cmp    $0x8,%ebp
  je     L87
  mov    $0x8,%eax
L85:
  mov    %eax,%edx
  mov    0x10(%rsp),%rcx
  lea    (%r15,%rdx,1),%rsi
  movzbl (%rsi,%rcx,1),%esi
  xor    (%r14,%rdx,1),%sil
  mov    %sil,0x30(%rsp,%rdx,1)
  lea    0x1(%rax),%edx
  cmp    %edx,%ebp
  jbe    L87
  lea    (%r15,%rdx,1),%rsi
  movzbl (%rsi,%rcx,1),%esi
  xor    (%r14,%rdx,1),%sil
  mov    %sil,0x30(%rsp,%rdx,1)
  lea    0x2(%rax),%edx
  cmp    %edx,%ebp
  jbe    L87
  movzbl 0x0(%r13,%rdx,1),%esi
  xor    (%r14,%rdx,1),%sil
  mov    %sil,0x30(%rsp,%rdx,1)
  lea    0x3(%rax),%edx
  cmp    %edx,%ebp
  jbe    L87
  movzbl 0x0(%r13,%rdx,1),%esi
  xor    (%r14,%rdx,1),%sil
  mov    %sil,0x30(%rsp,%rdx,1)
  lea    0x4(%rax),%edx
  cmp    %edx,%ebp
  jbe    L87
  movzbl 0x0(%r13,%rdx,1),%esi
  xor    (%r14,%rdx,1),%sil
  mov    %sil,0x30(%rsp,%rdx,1)
  lea    0x5(%rax),%edx
  cmp    %edx,%ebp
  jbe    L87
  movzbl 0x0(%r13,%rdx,1),%esi
  add    $0x6,%eax
  xor    (%r14,%rdx,1),%sil
  mov    %sil,0x30(%rsp,%rdx,1)
  cmp    %eax,%ebp
  jbe    L87
  movzbl 0x0(%r13,%rax,1),%edx
  xor    (%r14,%rax,1),%dl
  mov    %dl,0x30(%rsp,%rax,1)
  nopl   0x0(%rax,%rax,1)
L87:
  mov    %r12,%rdi
  call   <encrypt@plt>
  mov    $0x10,%edx
  mov    %r12,%rsi
  mov    %r14,%rdi
  call   <memcpy@plt>
  mov    0x20(%rsp),%rax
  mov    $0x10,%edx
  mov    %r12,%rsi
  lea    (%rax,%rbx,1),%rdi
  call   <memcpy@plt>
  addl   $0x1,0x28(%rsp)
  mov    0x28(%rsp),%ebx
  cmp    0x8(%rsp),%rbx
  ja     L45
L60:
  cmp    0x8(%rsp),%rbx
  je     L141
  shl    $0x4,%rbx
  mov    $0x10,%edx
  mov    %r12,%rdi
  lea    (%r15,%rbx,1),%rsi
  mov    %rsi,0x18(%rsp)
  call   <memcpy@plt>
  mov    0x18(%rsp),%rsi
  movdqu (%r14),%xmm2
  movdqu (%rsi),%xmm0
  pxor   %xmm2,%xmm0
  movaps %xmm0,0x30(%rsp)
  jmp    L87
  nopl   0x0(%rax)
L110:
  xor    %eax,%eax
  jmp    L85
L45:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L9:
  call   <__stack_chk_fail@plt>
```

assistant: ```c
void aes_encrypt(unsigned char *iv, unsigned char *inbuf, unsigned char *outbuf, unsigned long long len) {
  unsigned char block[16];
  unsigned int blockno = 0, i;
  for (blockno = 0; blockno <= (len / sizeof(block)); blockno++) {
    unsigned int fraction;
    if (blockno == (len / sizeof(block))) {
      fraction = len % sizeof(block);
      if (fraction == 0)
        break;
      memset(block, 0, sizeof(block));
    } else
      fraction = 16;
    memcpy(block, inbuf + blockno * sizeof(block), fraction);
    for (i = 0; i < fraction; i++)
      block[i] = inbuf[blockno * sizeof(block) + i] ^ iv[i];
    encrypt(block);
    memcpy(iv, block, sizeof(block));
    memcpy(outbuf + blockno * sizeof(block), block, sizeof(block));
  }
}
```