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

```asm
<recharger_act_avoid>:
  endbr64
  push   %r15
  mov    %edx,%r15d
  push   %r14
  mov    %esi,%r14d
  xor    %esi,%esi
  push   %r13
  mov    %edi,%r13d
  xor    %edi,%edi
  push   %r12
  mov    $0x0,%r12d
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  call   <adcspi_get_output@plt>
  mov    $0x1,%esi
  cmp    $0x399,%eax
  mov    $0xfffffff1,%eax
  cmovge %eax,%r12d
  setge  %bpl
  xor    %edi,%edi
  xor    %ebx,%ebx
  call   <adcspi_get_output@plt>
  cmp    $0x398,%eax
  jle    L72
  sub    $0xf,%r12d
  mov    $0x1,%ebp
  mov    $0xfffffff9,%ebx
L72:
  xor    %edi,%edi
  mov    $0x2,%esi
  call   <adcspi_get_output@plt>
  cmp    $0x398,%eax
  jle    L13
  sub    $0x7,%ebx
  mov    $0x1,%ebp
L13:
  xor    %edi,%edi
  mov    $0x3,%esi
  call   <adcspi_get_output@plt>
  cmp    $0x398,%eax
  jle    L81
  sub    $0x7,%ebx
  mov    $0x1,%ebp
L81:
  xor    %edi,%edi
  mov    $0x4,%esi
  call   <adcspi_get_output@plt>
  cmp    $0x398,%eax
  jle    L55
  add    $0x7,%ebx
  mov    $0x1,%ebp
L55:
  xor    %edi,%edi
  mov    $0x5,%esi
  call   <adcspi_get_output@plt>
  cmp    $0x398,%eax
  jle    L16
  add    $0x7,%ebx
  mov    $0x1,%ebp
L16:
  xor    %edi,%edi
  mov    $0x6,%esi
  call   <adcspi_get_output@plt>
  cmp    $0x398,%eax
  jle    L0
  sub    $0xf,%r12d
  add    $0x7,%ebx
  mov    $0x1,%ebp
L0:
  xor    %edi,%edi
  mov    $0x7,%esi
  call   <adcspi_get_output@plt>
  mov    $0x8,%esi
  cmp    $0x399,%eax
  mov    $0x1,%eax
  setge  %dl
  cmovge %eax,%ebp
  xor    %edi,%edi
  movzbl %dl,%edx
  shl    $0x2,%edx
  mov    %edx,0xc(%rsp)
  call   <adcspi_get_output@plt>
  mov    0xc(%rsp),%edx
  cmp    $0x398,%eax
  jle    L85
  mov    $0x9,%esi
  xor    %edi,%edi
  lea    0x4(%rdx),%r15d
  mov    %ebx,%r14d
  call   <adcspi_get_output@plt>
  mov    %r12d,%r13d
  cmp    $0x398,%eax
  jle    L101
L63:
  lea    0x7(%r12),%r13d
  lea    0x7(%rbx),%r14d
L101:
  add    $0x18,%rsp
  mov    %r15d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1070 <recharger_act@plt>
  nopl   0x0(%rax)
L85:
  xor    %edi,%edi
  mov    $0x9,%esi
  mov    %edx,0xc(%rsp)
  call   <adcspi_get_output@plt>
  mov    0xc(%rsp),%edx
  cmp    $0x398,%eax
  jg     L66
  test   %bpl,%bpl
  cmovne %edx,%r15d
  cmovne %ebx,%r14d
  cmovne %r12d,%r13d
  jmp    L101
  nopl   0x0(%rax)
L66:
  mov    %edx,%r15d
  jmp    L63
```

assistant: ```c
void recharger_act_avoid(int x, int y, int theta) {
  int i;
  int baseX, baseY, baseTheta;
  char hasAvoid = 0;
  baseX = x;
  baseY = y;
  baseTheta = theta;
  x = y = theta = 0;
  if (adcspi_get_output(0, 0) > (230 * 4)) {
    x += (-20 + 5);
    y += 0;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 1) > (230 * 4)) {
    x += (-20 + 5);
    y += (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 2) > (230 * 4)) {
    x += 0;
    y += (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 3) > (230 * 4)) {
    x += 0;
    y += (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 4) > (230 * 4)) {
    x += 0;
    y -= (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 5) > (230 * 4)) {
    x += 0;
    y -= (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 6) > (230 * 4)) {
    x += (-20 + 5);
    y -= (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 7) > (230 * 4)) {
    theta += (4);
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 8) > (230 * 4)) {
    theta += (4);
    hasAvoid = 1;
  }
  if (adcspi_get_output(0, 9) > (230 * 4)) {
    x -= (-20 + 5) / 2;
    y -= (-20 + 5) / 2;
    hasAvoid = 1;
  }
  if (!hasAvoid) {
    x = baseX;
    y = baseY;
    theta = baseTheta;
  }
  recharger_act(x, y, theta);
}
```