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

```asm
<cube_translate>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  mov    %esi,%r13d
  push   %r12
  push   %rbp
  mov    %edx,%ebp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,0x8(%rsp)
  test   %edi,%edi
  jne    L129
  test   %r13d,%r13d
  jne    L80
L28:
  test   %ebp,%ebp
  jne    L83
L114:
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L129:
  xor    %eax,%eax
  mov    $0x8,%r15d
  call   <cube_buffer@plt>
  mov    0x8(%rsp),%eax
  sub    %eax,%r15d
  mov    %eax,%ebx
  mov    %r15d,0xc(%rsp)
  neg    %ebx
  nopl   0x0(%rax)
L46:
  mov    0x8(%rsp),%eax
  xor    %r15d,%r15d
  lea    (%rax,%rbx,1),%r12d
  nopl   0x0(%rax,%rax,1)
L126:
  xor    %r14d,%r14d
  nopl   0x0(%rax,%rax,1)
L119:
  mov    %r14d,%r9d
  mov    %r14d,%edx
  mov    %r15d,%r8d
  mov    %r12d,%ecx
  mov    %r15d,%esi
  mov    %ebx,%edi
  add    $0x1,%r14d
  call   <buffer_copyLED@plt>
  cmp    $0x8,%r14d
  jne    L119
  add    $0x1,%r15d
  cmp    $0x8,%r15d
  jne    L126
  add    $0x1,%ebx
  cmp    %ebx,0xc(%rsp)
  jne    L46
  test   %r13d,%r13d
  je     L28
L80:
  mov    $0x8,%r15d
  xor    %eax,%eax
  xor    %r12d,%r12d
  call   <cube_buffer@plt>
  sub    %r13d,%r15d
  mov    %r15d,0x8(%rsp)
  nopl   0x0(%rax)
L3:
  mov    %r13d,%r14d
  neg    %r14d
  cs nopw 0x0(%rax,%rax,1)
L96:
  lea    0x0(%r13,%r14,1),%r15d
  xor    %ebx,%ebx
  nopw   0x0(%rax,%rax,1)
L134:
  mov    %ebx,%r9d
  mov    %ebx,%edx
  mov    %r15d,%r8d
  mov    %r12d,%ecx
  mov    %r14d,%esi
  mov    %r12d,%edi
  add    $0x1,%ebx
  call   <buffer_copyLED@plt>
  cmp    $0x8,%ebx
  jne    L134
  add    $0x1,%r14d
  cmp    %r14d,0x8(%rsp)
  jne    L96
  add    $0x1,%r12d
  cmp    $0x8,%r12d
  jne    L3
  test   %ebp,%ebp
  je     L114
L83:
  xor    %eax,%eax
  mov    $0x8,%r14d
  xor    %r13d,%r13d
  call   <cube_buffer@plt>
  sub    %ebp,%r14d
  xchg   %ax,%ax
L138:
  xor    %r12d,%r12d
  nopl   0x0(%rax,%rax,1)
L59:
  mov    %ebp,%ebx
  neg    %ebx
  nopl   0x0(%rax)
L130:
  lea    0x0(%rbp,%rbx,1),%r9d
  mov    %ebx,%edx
  mov    %r12d,%r8d
  mov    %r13d,%ecx
  mov    %r12d,%esi
  mov    %r13d,%edi
  add    $0x1,%ebx
  call   <buffer_copyLED@plt>
  cmp    %r14d,%ebx
  jne    L130
  add    $0x1,%r12d
  cmp    $0x8,%r12d
  jne    L59
  add    $0x1,%r13d
  cmp    $0x8,%r13d
  jne    L138
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

assistant: ```c
void cube_translate(int x, int y, int z) {
  int column, panel, layer;
  if (x) {
    cube_buffer();
    for (column = 0; column < 8; column++)
      for (panel = 0; panel < 8; panel++)
        for (layer = 0; layer < 8; layer++)
          buffer_copyLED(column - x, panel, layer, column, panel, layer);
  }
  if (y) {
    cube_buffer();
    for (column = 0; column < 8; column++)
      for (panel = 0; panel < 8; panel++)
        for (layer = 0; layer < 8; layer++)
          buffer_copyLED(column, panel - y, layer, column, panel, layer);
  }
  if (z) {
    cube_buffer();
    for (column = 0; column < 8; column++)
      for (panel = 0; panel < 8; panel++)
        for (layer = 0; layer < 8; layer++)
          buffer_copyLED(column, panel, layer - z, column, panel, layer);
  }
}
```