user: Translate the below assembly code into C programming language:

```asm
<box_swap_axis>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %esi,-0x5c(%rbp)
  mov    %edx,-0x60(%rbp)
  mov    %ecx,-0x64(%rbp)
  mov    %r8,-0x70(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  cmpl   $0x0,-0x5c(%rbp)
  js     L57
  cmpl   $0x2,-0x5c(%rbp)
  jg     L57
  mov    $0x1,%eax
  jmp    L73
L57:
  mov    $0x0,%eax
L73:
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x0,-0x60(%rbp)
  js     L40
  cmpl   $0x2,-0x60(%rbp)
  jg     L40
  mov    $0x1,%eax
  jmp    L76
L40:
  mov    $0x0,%eax
L76:
  mov    %eax,%edi
  call   <assert@plt>
  cmpl   $0x0,-0x64(%rbp)
  js     L52
  cmpl   $0x2,-0x64(%rbp)
  jg     L52
  mov    $0x1,%eax
  jmp    L96
L52:
  mov    $0x0,%eax
L96:
  mov    %eax,%edi
  call   <assert@plt>
  lea    -0x50(%rbp),%rdx
  mov    -0x58(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <mat4_copy@plt>
  mov    -0x70(%rbp),%rdx
  lea    -0x50(%rbp),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <mat4_copy@plt>
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  add    %rbp,%rax
  sub    $0x50,%rax
  movss  (%rax),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  add    %rbp,%rax
  sub    $0x4c,%rax
  movss  (%rax),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,0x4(%rax)
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  add    %rbp,%rax
  sub    $0x48,%rax
  movss  (%rax),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,0x8(%rax)
  mov    -0x5c(%rbp),%eax
  cltq
  shl    $0x4,%rax
  add    %rbp,%rax
  sub    $0x44,%rax
  movss  (%rax),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,0xc(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x10,%rax
  mov    -0x60(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x50,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x10,%rax
  mov    -0x60(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x4c,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,0x4(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x10,%rax
  mov    -0x60(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x48,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,0x8(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x10,%rax
  mov    -0x60(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x44,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,0xc(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x20,%rax
  mov    -0x64(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x50,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x20,%rax
  mov    -0x64(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x4c,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,0x4(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x20,%rax
  mov    -0x64(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x48,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,0x8(%rax)
  mov    -0x70(%rbp),%rax
  add    $0x20,%rax
  mov    -0x64(%rbp),%edx
  movslq %edx,%rdx
  shl    $0x4,%rdx
  add    %rbp,%rdx
  sub    $0x44,%rdx
  movss  (%rdx),%xmm0
  movss  %xmm0,0xc(%rax)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L5
  call   <__stack_chk_fail@plt>
L5:
  leave
  ret
```

assistant: ```c
void box_swap_axis(const float b[4][4], int x, int y, int z, float out[4][4]) {
  float m[4][4];
  assert(x >= 0 && x <= 2);
  assert(y >= 0 && y <= 2);
  assert(z >= 0 && z <= 2);
  mat4_copy(b, m);
  mat4_copy(m, out);
  do {
    (out[0])[0] = (m[x])[0];
    (out[0])[1] = (m[x])[1];
    (out[0])[2] = (m[x])[2];
    (out[0])[3] = (m[x])[3];
  } while (0);
  do {
    (out[1])[0] = (m[y])[0];
    (out[1])[1] = (m[y])[1];
    (out[1])[2] = (m[y])[2];
    (out[1])[3] = (m[y])[3];
  } while (0);
  do {
    (out[2])[0] = (m[z])[0];
    (out[2])[1] = (m[z])[1];
    (out[2])[2] = (m[z])[2];
    (out[2])[3] = (m[z])[3];
  } while (0);
}
```