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

```asm
<readTagCharacter>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  cmpl   $0x5c,-0x18(%rbp)
  jne    L10
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  sub    $0x5c,%eax
  cmp    $0x1c,%eax
  ja     L10
  mov    %eax,%eax
  lea    0x0(,%rax,4),%rdx
  lea    D11(%rip),%rax
  mov    (%rdx,%rax,1),%eax
  cltq
  lea    D11(%rip),%rdx
  add    %rdx,%rax
  notrack jmp *%rax
  movl   $0x9,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0xd,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0xa,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0x5c,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0x7,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0x8,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0xb,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  movl   $0xc,-0x18(%rbp)
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x1(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  jmp    L10
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    %eax,%edi
  call   <isxdigit@plt>
  test   %eax,%eax
  je     L50
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    %eax,%edi
  call   <isxdigit@plt>
  test   %eax,%eax
  je     L50
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    %eax,%edi
  call   <xdigitValue@plt>
  shl    $0x4,%eax
  mov    %eax,%ebx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movsbl %al,%eax
  mov    %eax,%edi
  call   <xdigitValue@plt>
  or     %ebx,%eax
  mov    %eax,-0x14(%rbp)
  cmpl   $0x7f,-0x14(%rbp)
  jg     L50
  mov    -0x28(%rbp),%rax
  mov    (%rax),%rax
  lea    0x3(%rax),%rdx
  mov    -0x28(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x14(%rbp),%eax
  mov    %eax,-0x18(%rbp)
L50:
  nop
L10:
  mov    -0x18(%rbp),%eax
  mov    -0x8(%rbp),%rbx
  leave
  ret
```

assistant: ```c
int readTagCharacter(const char **s) {
  int c = **(const unsigned char **)s;
  (*s)++;
  if (c == '\\') {
    switch (**s) {
    case 't':
      c = '\t';
      (*s)++;
      break;
    case 'r':
      c = '\r';
      (*s)++;
      break;
    case 'n':
      c = '\n';
      (*s)++;
      break;
    case '\\':
      c = '\\';
      (*s)++;
      break;
    case 'a':
      c = '\a';
      (*s)++;
      break;
    case 'b':
      c = '\b';
      (*s)++;
      break;
    case 'v':
      c = '\v';
      (*s)++;
      break;
    case 'f':
      c = '\f';
      (*s)++;
      break;
    case 'x':
      if (isxdigit((*s)[1]) && isxdigit((*s)[2])) {
        int val = (xdigitValue((*s)[1]) << 4) | xdigitValue((*s)[2]);
        if (val < 0x80) {
          (*s) += 3;
          c = val;
        }
      }
      break;
    }
  }
  return c;
}
```