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

```asm
<drawLineVMaxClipped>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %esi,-0x2c(%rbp)
  mov    %edx,-0x30(%rbp)
  mov    %ecx,-0x34(%rbp)
  mov    %r8d,-0x38(%rbp)
  mov    %r9d,-0x3c(%rbp)
  mov    0x20(%rbp),%eax
  mov    %al,-0x40(%rbp)
  mov    -0x2c(%rbp),%eax
  and    $0x1,%eax
  mov    %eax,-0xc(%rbp)
  movsbl -0x40(%rbp),%eax
  shl    $0x4,%eax
  mov    %al,-0x11(%rbp)
  cmpl   $0x0,-0x38(%rbp)
  jle    L35
  movl   $0x40,-0x10(%rbp)
  jmp    L71
L35:
  movl   $0xffffffc0,-0x10(%rbp)
  negl   -0x38(%rbp)
L71:
  mov    -0x34(%rbp),%eax
  add    %eax,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x34(%rbp),%eax
  sub    -0x38(%rbp),%eax
  add    %eax,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x30(%rbp),%eax
  shl    $0x6,%eax
  mov    %eax,%edx
  mov    -0x2c(%rbp),%eax
  sar    %eax
  add    %edx,%eax
  cltq
  add    %rax,-0x28(%rbp)
  cmpl   $0x0,-0xc(%rbp)
  jne    L32
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  and    $0xfffffff0,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  or     -0x40(%rbp),%al
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  jmp    L30
L32:
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  and    $0xf,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  or     -0x11(%rbp),%al
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  jmp    L30
L73:
  cmpl   $0x0,-0x3c(%rbp)
  jg     L90
  mov    -0x8(%rbp),%eax
  add    %eax,-0x3c(%rbp)
  jmp    L113
L90:
  mov    -0x4(%rbp),%eax
  add    %eax,-0x3c(%rbp)
  mov    0x10(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,0x10(%rbp)
  test   %eax,%eax
  je     L50
  addl   $0x1,-0xc(%rbp)
  cmpl   $0x1,-0xc(%rbp)
  jle    L113
  addq   $0x1,-0x28(%rbp)
  movl   $0x0,-0xc(%rbp)
L113:
  mov    -0x10(%rbp),%eax
  cltq
  add    %rax,-0x28(%rbp)
  cmpl   $0x0,-0xc(%rbp)
  jne    L127
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  and    $0xfffffff0,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  or     -0x40(%rbp),%al
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  jmp    L30
L127:
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  and    $0xf,%eax
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
  mov    -0x28(%rbp),%rax
  movzbl (%rax),%eax
  or     -0x11(%rbp),%al
  mov    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    %dl,(%rax)
L30:
  mov    0x18(%rbp),%eax
  lea    -0x1(%rax),%edx
  mov    %edx,0x18(%rbp)
  test   %eax,%eax
  jg     L73
  jmp    L4
L50:
  nop
L4:
  pop    %rbp
  ret
```

assistant: ```c
void drawLineVMaxClipped(char *buffer, int x0, int y0, int dx, int dy, int d, int xMax, int yMax, char shade) {
  int incrV, incrHV, addV;
  int pixelPos = x0 & 0x1;
  char hiShade = shade << 4;
  if (dy > 0)
    addV = 64;
  else {
    addV = -64;
    dy = -dy;
  }
  incrV = 2 * dx;
  incrHV = 2 * (dx - dy);
  buffer += (y0 << 6) + (x0 >> 1);
  if (pixelPos == 0) {
    *buffer &= 0xF0;
    *buffer |= shade;
  } else {
    *buffer &= 0x0F;
    *buffer |= hiShade;
  }
  while (yMax-- > 0) {
    if (d <= 0) {
      d += incrV;
    } else {
      d += incrHV;
      if (!xMax--)
        return;
      if (++pixelPos > 1) {
        buffer++;
        pixelPos = 0;
      }
    }
    buffer += addV;
    if (pixelPos == 0) {
      *buffer &= 0xF0;
      *buffer |= shade;
    } else {
      *buffer &= 0x0F;
      *buffer |= hiShade;
    }
  }
}
```