user: What is the c source code of the assembly code below:

```asm
<mjt_pton6>:
  endbr64
  push   %r13
  mov    %rsi,%r13
  push   %r12
  xor    %r12d,%r12d
  push   %rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  cmpb   $0x3a,(%rdi)
  mov    %rsp,%rbx
  je     L342
L185:
  mov    %rbx,%rbp
  lea    0x10(%rsp),%r8
L154:
  mov    %rdi,%rsi
  xor    %eax,%eax
  jmp    L399
  nop
L66:
  movsbl %dl,%edx
L13:
  shl    $0x4,%eax
  or     %edx,%eax
  cmp    $0xffff,%eax
  ja     L417
L329:
  add    $0x1,%rsi
L399:
  movzbl (%rsi),%ecx
  lea    -0x30(%rcx),%edx
  cmp    $0x9,%dl
  jbe    L66
  lea    -0x61(%rcx),%edx
  cmp    $0x5,%dl
  ja     L125
  sub    $0x57,%ecx
  shl    $0x4,%eax
  movsbl %cl,%edx
  or     %edx,%eax
  cmp    $0xffff,%eax
  jbe    L329
L417:
  xor    %eax,%eax
L289:
  mov    0x18(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L80
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax)
L125:
  lea    -0x41(%rcx),%edx
  cmp    $0x5,%dl
  ja     L194
  sub    $0x37,%ecx
  movsbl %cl,%edx
  jmp    L13
L342:
  cmpb   $0x3a,0x1(%rdi)
  jne    L417
  add    $0x2,%rdi
  mov    %rbx,%r12
  jmp    L185
  nopw   0x0(%rax,%rax,1)
L194:
  cmp    %rsi,%rdi
  je     L405
  cmp    $0x3a,%cl
  jne    L239
  mov    %r8,%rdx
  cmp    %r8,%rbp
  je     L417
  add    $0x2,%rbp
  cmpb   $0x3a,0x1(%rsi)
  lea    0x1(%rsi),%rdi
  mov    %ax,-0x2(%rbp)
  jne    L154
  test   %r12,%r12
  jne    L417
  cmpb   $0x0,0x2(%rsi)
  lea    0x2(%rsi),%rdi
  mov    %rbp,%r12
  jne    L154
  jmp    L122
L239:
  test   %cl,%cl
  jne    L198
  lea    0x10(%rsp),%rdx
  cmp    %rdx,%rbp
  jae    L417
  mov    %ax,0x0(%rbp)
  add    $0x2,%rbp
L122:
  mov    %rdx,%rax
  sub    %rbp,%rax
  sar    %rax
  test   %eax,%eax
  mov    %eax,%edx
  setne  %cl
  test   %r12,%r12
  setne  %al
  cmp    %al,%cl
  jne    L417
  pxor   %xmm0,%xmm0
  jmp    L233
L129:
  cmp    %rbx,%rbp
  jbe    L218
  movzwl (%rbx),%eax
  add    $0x2,%r13
  add    $0x2,%rbx
  rol    $0x8,%ax
  mov    %ax,-0x2(%r13)
L233:
  cmp    %rbx,%r12
  jne    L129
  lea    -0x1(%rdx),%ecx
  test   %edx,%edx
  je     L105
  cmp    $0x6,%ecx
  jbe    L74
  mov    %edx,%esi
  mov    %r13,%rax
  shr    $0x3,%esi
  sub    $0x1,%esi
  shl    $0x4,%rsi
  lea    0x10(%r13,%rsi,1),%rsi
L112:
  movups %xmm0,(%rax)
  add    $0x10,%rax
  cmp    %rax,%rsi
  jne    L112
  mov    %edx,%eax
  and    $0xfffffff8,%eax
  mov    %eax,%esi
  sub    %eax,%ecx
  lea    0x0(%r13,%rsi,2),%rsi
  cmp    %eax,%edx
  je     L87
L373:
  mov    %edx,%edi
  sub    %eax,%edi
  lea    -0x1(%rdi),%r8d
  cmp    $0x2,%r8d
  jbe    L85
  movq   $0x0,0x0(%r13,%rax,2)
  mov    %edi,%eax
  and    $0xfffffffc,%eax
  mov    %eax,%r8d
  sub    %eax,%ecx
  lea    (%rsi,%r8,2),%rsi
  cmp    %eax,%edi
  je     L87
L85:
  xor    %r8d,%r8d
  mov    %r8w,(%rsi)
  test   %ecx,%ecx
  je     L87
  xor    %edi,%edi
  mov    %di,0x2(%rsi)
  cmp    $0x1,%ecx
  je     L87
  xor    %eax,%eax
  mov    %ax,0x4(%rsi)
L87:
  lea    0x0(%r13,%rdx,2),%r13
  mov    $0xffffffff,%edx
  jmp    L129
L405:
  cmp    %r12,%rbp
  jne    L417
  test   %cl,%cl
  jne    L417
L326:
  lea    0x10(%rsp),%rdx
  jmp    L122
L198:
  cmp    $0x2e,%cl
  jne    L417
  lea    0xc(%rsp),%rax
  cmp    %rax,%rbp
  ja     L417
  mov    %r13,%rsi
  call   <mjt_pton4@plt>
  test   %eax,%eax
  je     L417
  movzwl 0x0(%r13),%eax
  add    $0x4,%rbp
  rol    $0x8,%ax
  mov    %ax,-0x4(%rbp)
  movzwl 0x2(%r13),%eax
  rol    $0x8,%ax
  mov    %ax,-0x2(%rbp)
  jmp    L326
L218:
  mov    $0x1,%eax
  jmp    L289
L80:
  call   <__stack_chk_fail@plt>
L74:
  mov    %r13,%rsi
  xor    %eax,%eax
  jmp    L373
L105:
  mov    $0xffffffff,%edx
  jmp    L129
```

assistant: ```c
int mjt_pton6(const char *c, void *dst) {
  unsigned short w[8], *a = w, *z, *i;
  unsigned v, o;
  const char *sc;
  unsigned char *d = (unsigned char *)dst;
  if (*c != ':')
    z = (unsigned short *)0;
  else if (*++c != ':')
    return 0;
  else
    ++c, z = a;
  i = 0;
  for (;;) {
    v = 0;
    sc = c;
    for (;;) {
      if (*c >= '0' && *c <= '9')
        o = *c - '0';
      else if (*c >= 'a' && *c <= 'f')
        o = *c - 'a' + 10;
      else if (*c >= 'A' && *c <= 'F')
        o = *c - 'A' + 10;
      else
        break;
      v = (v << 4) | o;
      if (v > 0xffff)
        return 0;
      ++c;
    }
    if (sc == c) {
      if (z == a && !*c)
        break;
      else
        return 0;
    }
    if (*c == ':') {
      if (a >= w + 8)
        return 0;
      *a++ = v;
      if (*++c == ':') {
        if (z)
          return 0;
        z = a;
        if (!*++c)
          break;
      }
    } else if (!*c) {
      if (a >= w + 8)
        return 0;
      *a++ = v;
      break;
    } else if (*c == '.') {
      if (a > w + 6)
        return 0;
      if (!mjt_pton4(sc, d))
        return 0;
      *a++ = ((unsigned)(d[0]) << 8) | d[1];
      *a++ = ((unsigned)(d[2]) << 8) | d[3];
      break;
    } else
      return 0;
  }
  v = w + 8 - a;
  if ((v && !z) || (!v && z))
    return 0;
  for (i = w;; ++i) {
    if (i == z)
      while (v--) {
        *d++ = '\0';
        *d++ = '\0';
      }
    if (i >= a)
      break;
    *d++ = (unsigned char)((*i >> 8) & 255);
    *d++ = (unsigned char)(*i & 255);
  }
  return 1;
}
```