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

```asm
<kernel>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  movl   $0x1,-0x8(%rbp)
  mov    -0x8(%rbp),%eax
  mov    %eax,-0xc(%rbp)
  jmp    L17
L21:
  mov    -0x8(%rbp),%eax
  mov    %eax,-0x10(%rbp)
  jmp    L36
L25:
  mov    -0x8(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  jmp    L49
L40:
  mov    -0x10(%rbp),%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  mov    -0x14(%rbp),%eax
  lea    0x1(%rax),%edx
  mov    -0x10(%rbp),%eax
  shl    $0x5,%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  addss  %xmm0,%xmm1
  mov    -0x14(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    -0x10(%rbp),%eax
  shl    $0x5,%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  addss  %xmm0,%xmm1
  mov    -0x10(%rbp),%eax
  add    $0x1,%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  addss  %xmm0,%xmm1
  mov    -0x10(%rbp),%eax
  sub    $0x1,%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  addss  %xmm0,%xmm1
  mov    -0x10(%rbp),%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  sub    $0x1,%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  addss  %xmm0,%xmm1
  mov    -0x10(%rbp),%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  add    $0x1,%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x4(%rbp)
  mov    -0x10(%rbp),%eax
  shl    $0x5,%eax
  mov    %eax,%edx
  mov    -0x14(%rbp),%eax
  add    %eax,%edx
  mov    -0xc(%rbp),%eax
  shl    $0xa,%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movss  -0x4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x14(%rbp)
L49:
  mov    $0x20,%eax
  sub    -0x8(%rbp),%eax
  cmp    %eax,-0x14(%rbp)
  jl     L40
  addl   $0x1,-0x10(%rbp)
L36:
  mov    $0x20,%eax
  sub    -0x8(%rbp),%eax
  cmp    %eax,-0x10(%rbp)
  jl     L25
  addl   $0x1,-0xc(%rbp)
L17:
  mov    $0x20,%eax
  sub    -0x8(%rbp),%eax
  cmp    %eax,-0xc(%rbp)
  jl     L21
  nop
  pop    %rbp
  ret
```

assistant: ```c
void kernel(float *g1, float *g2) {
  int x, y, z;
  int halo_width = 1;
  for (z = halo_width; z < 32 - halo_width; ++z) {
    for (y = halo_width; y < 32 - halo_width; ++y) {
      for (x = halo_width; x < 32 - halo_width; ++x) {
        float v = g1[((x) + (y)*32 + (z)*32 * 32)] + g1[((x + 1) + (y)*32 + (z)*32 * 32)] + g1[((x - 1) + (y)*32 + (z)*32 * 32)] + g1[((x) + (y + 1) * 32 + (z)*32 * 32)] + g1[((x) + (y - 1) * 32 + (z)*32 * 32)] + g1[((x) + (y)*32 + (z - 1) * 32 * 32)] + g1[((x) + (y)*32 + (z + 1) * 32 * 32)];
        g2[((x) + (y)*32 + (z)*32 * 32)] = v;
      }
    }
  }
  return;
}
```