// File: /workspace/github_c_makefile_star2_O3/samtools[P]htslib/sam.c
// Function: aux_parse
static inline int aux_parse(char *start, char *end, bam1_t *b, int lenient,
                            khash_t(tag) *tag_whitelist) {
    int overflow = 0;
    int checkpoint;
    char logbuf[40];
    char *q = start, *p = end;

#define _parse_err(cond, ...)                   \
    do {                                        \
        if (cond) {                             \
            if (lenient) {                      \
                while (q < p && !isspace_c(*q))   \
                    q++;                        \
                while (q < p && isspace_c(*q))    \
                    q++;                        \
                b->l_data = checkpoint;         \
                goto loop;                      \
            } else {                            \
                hts_log_error(__VA_ARGS__);     \
                goto err_ret;                   \
            }                                   \
        }                                       \
    } while (0)

    while (q < p) loop: {
        char type;
        checkpoint = b->l_data;
        if (p - q < 5) {
            if (lenient) {
                break;
            } else {
                hts_log_error("Incomplete aux field");
                goto err_ret;
            }
        }
        _parse_err(q[0] < '!' || q[1] < '!', "invalid aux tag id");

        if (lenient && (q[2] | q[4]) != ':') {
            while (q < p && !isspace_c(*q))
                q++;
            while (q < p && isspace_c(*q))
                q++;
            continue;
        }

        if (tag_whitelist) {
            int tt = q[0]*256 + q[1];
            if (kh_get(tag, tag_whitelist, tt) == kh_end(tag_whitelist)) {
                while (q < p && *q != '\t')
                    q++;
                continue;
            }
        }

        // Copy over id
        if (possibly_expand_bam_data(b, 2) < 0) goto err_ret;
        memcpy(b->data + b->l_data, q, 2); b->l_data += 2;
        q += 3; type = *q++; ++q; // q points to value
        if (type != 'Z' && type != 'H') // the only zero length acceptable fields
            _parse_err(*q <= '\t', "incomplete aux field");

        // Ensure enough space for a double + type allocated.
        if (possibly_expand_bam_data(b, 16) < 0) goto err_ret;

        if (type == 'A' || type == 'a' || type == 'c' || type == 'C') {
            b->data[b->l_data++] = 'A';
            b->data[b->l_data++] = *q++;
        } else if (type == 'i' || type == 'I') {
            if (*q == '-') {
                int32_t x = hts_str2int(q, &q, 32, &overflow);
                if (x >= INT8_MIN) {
                    b->data[b->l_data++] = 'c';
                    b->data[b->l_data++] = x;
                } else if (x >= INT16_MIN) {
                    b->data[b->l_data++] = 's';
                    i16_to_le(x, b->data + b->l_data);
                    b->l_data += 2;
                } else {
                    b->data[b->l_data++] = 'i';
                    i32_to_le(x, b->data + b->l_data);
                    b->l_data += 4;
                }
            } else {
                uint32_t x = hts_str2uint(q, &q, 32, &overflow);
                if (x <= UINT8_MAX) {
                    b->data[b->l_data++] = 'C';
                    b->data[b->l_data++] = x;
                } else if (x <= UINT16_MAX) {
                    b->data[b->l_data++] = 'S';
                    u16_to_le(x, b->data + b->l_data);
                    b->l_data += 2;
                } else {
                    b->data[b->l_data++] = 'I';
                    u32_to_le(x, b->data + b->l_data);
                    b->l_data += 4;
                }
            }
        } else if (type == 'f') {
            b->data[b->l_data++] = 'f';
            float_to_le(strtod(q, &q), b->data + b->l_data);
            b->l_data += sizeof(float);
        } else if (type == 'd') {
            b->data[b->l_data++] = 'd';
            double_to_le(strtod(q, &q), b->data + b->l_data);
            b->l_data += sizeof(double);
        } else if (type == 'Z' || type == 'H') {
            char *end = strchr(q, '\t');
            if (!end) end = q + strlen(q);
            _parse_err(type == 'H' && ((end-q)&1) != 0,
                       "hex field does not have an even number of digits");
            b->data[b->l_data++] = type;
            if (possibly_expand_bam_data(b, end - q + 1) < 0) goto err_ret;
            memcpy(b->data + b->l_data, q, end - q);
            b->l_data += end - q;
            b->data[b->l_data++] = '\0';
            q = end;
        } else if (type == 'B') {
            type = *q++; // q points to the first ',' following the typing byte
            _parse_err(*q && *q != ',' && *q != '\t',
                       "B aux field type not followed by ','");

            if (sam_parse_B_vals(type, q, &q, b) < 0)
                goto err_ret;
        } else _parse_err(1, "unrecognized type %s", hts_strprint(logbuf, sizeof logbuf, '\'', &type, 1));

        while (*q > '\t') { q++; } // Skip any junk to next tab
        q++;
    }

    _parse_err(!lenient && overflow != 0, "numeric value out of allowed range");
#undef _parse_err

    return 0;

err_ret:
    return -2;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movl $0x0, 0x1c(%rsp)
movq %rdi, (%rsp)
xorl %eax, %eax
cmpq %rsi, %rdi
jae 0x28c90
movq %r8, %r13
movl %ecx, %ebx
movq %rdx, %r15
movq %rsi, %rbp
movq %rdi, %r12
leaq -0x1(%rsi), %rax
movq %rax, 0x20(%rsp)
leaq -0x5(%rsi), %rax
movq %rax, 0x28(%rsp)
movq %r8, 0x10(%rsp)
movl %ecx, 0xc(%rsp)
movq %rbp, %rax
subq %r12, %rax
cmpq $0x5, %rax
jl 0x28c4c
movsbl (%r12), %eax
cmpl $0x21, %eax
jl 0x28412
movsbl 0x1(%r12), %ecx
cmpl $0x20, %ecx
jg 0x284bb
testl %ebx, %ebx
je 0x28c54
cmpq %rbp, %r12
jae 0x28464
callq 0x4510
movzbl (%r12), %ecx
movq (%rax), %rdx
testb $0x20, 0x1(%rdx,%rcx,2)
jne 0x28464
movq 0x20(%rsp), %rcx
subq %r12, %rcx
incq %r12
movq %r12, %rdx
movq %rdx, %r12
movq %rdx, (%rsp)
testq %rcx, %rcx
je 0x28464
movzbl (%r12), %esi
movq (%rax), %rdi
leaq 0x1(%r12), %rdx
decq %rcx
testb $0x20, 0x1(%rdi,%rsi,2)
je 0x28441
cmpq %rbp, %r12
jae 0x283e9
callq 0x4510
movzbl (%r12), %ecx
movq (%rax), %rdx
testb $0x20, 0x1(%rdx,%rcx,2)
je 0x283e9
movq 0x20(%rsp), %rcx
subq %r12, %rcx
incq %r12
movq %r12, %rdx
movq %rdx, %r12
movq %rdx, (%rsp)
testq %rcx, %rcx
je 0x283e9
movzbl (%r12), %esi
movq (%rax), %rdi
leaq 0x1(%r12), %rdx
decq %rcx
testb $0x20, 0x1(%rdi,%rsi,2)
jne 0x2848f
jmp 0x283e9
movl 0x40(%r15), %r14d
testl %ebx, %ebx
je 0x284d6
movb 0x4(%r12), %dl
orb 0x2(%r12), %dl
cmpb $0x3a, %dl
jne 0x289b0
testq %r13, %r13
je 0x2859c
movl (%r13), %edx
testl %edx, %edx
je 0x28596
shll $0x8, %eax
orl %ecx, %eax
leal -0x1(%rdx), %edi
movl %edi, %r8d
andl %eax, %r8d
movq 0x10(%r13), %r9
movl $0x1, %r10d
movl %r8d, %esi
movl %esi, %ecx
shrl $0x4, %ecx
movl (%r9,%rcx,4), %r11d
leal (%rsi,%rsi), %ecx
andl $0x1e, %ecx
movl %r11d, %ebx
shrl %cl, %ebx
testb $0x2, %bl
jne 0x2858a
testb $0x1, %bl
jne 0x28536
movq 0x18(%r13), %rbx
movl %esi, %r13d
cmpl %eax, (%rbx,%r13,4)
movq 0x10(%rsp), %r13
je 0x2858a
addl %r10d, %esi
andl %edi, %esi
incl %r10d
cmpl %r8d, %esi
jne 0x28506
cmpq %rbp, %r12
jae 0x288a7
cmpb $0x9, (%r12)
movl 0xc(%rsp), %ebx
je 0x2899d
movq 0x20(%rsp), %rax
subq %r12, %rax
incq %r12
movq %r12, %rcx
movq %rcx, (%rsp)
testq %rax, %rax
je 0x289ab
decq %rax
cmpb $0x9, (%rcx)
movq %rcx, %r12
leaq 0x1(%rcx), %rcx
jne 0x28569
jmp 0x2899d
shrl %cl, %r11d
testb $0x3, %r11b
cmovnel %edx, %esi
jmp 0x28598
xorl %esi, %esi
cmpl %edx, %esi
je 0x28543
cmpl $-0x3, %r14d
ja 0x28c80
movslq %r14d, %rax
leaq 0x2(%rax), %rsi
movq %rsi, %rcx
shrq $0x1f, %rcx
jne 0x28c80
movl 0x44(%r15), %ecx
cmpq %rcx, %rsi
jbe 0x285db
movq %r15, %rdi
callq 0x22a64
testl %eax, %eax
js 0x28c8b
movslq 0x40(%r15), %rax
movq (%rsp), %r12
movq 0x38(%r15), %rcx
movzwl (%r12), %edx
movw %dx, (%rcx,%rax)
movslq 0x40(%r15), %rsi
leal 0x2(%rsi), %eax
movl %eax, 0x40(%r15)
movq (%rsp), %r13
leaq 0x4(%r13), %rax
movq %rax, (%rsp)
movzbl 0x3(%r13), %ebx
leaq 0x5(%r13), %r12
movb %bl, 0xb(%rsp)
movq %r12, (%rsp)
cmpl $0x48, %ebx
je 0x286ad
cmpl $0x5a, %ebx
je 0x286ad
cmpb $0x9, (%r12)
jg 0x286ad
movl 0xc(%rsp), %ebx
testl %ebx, %ebx
je 0x28d0a
cmpq %rbp, %r12
jae 0x28669
callq 0x4510
movq 0x28(%rsp), %rcx
subq %r13, %rcx
movzbl (%r12), %edx
movq (%rax), %rsi
testb $0x20, 0x1(%rsi,%rdx,2)
jne 0x28669
incq %r12
movq %r12, (%rsp)
decq %rcx
jne 0x2864b
movq %rbp, %r12
movq 0x10(%rsp), %r13
cmpq %rbp, %r12
jae 0x28935
callq 0x4510
leaq (%r12,%rbp), %rcx
subq %r12, %rcx
movq %rbp, %rdx
subq %r12, %rdx
movzbl (%r12), %esi
movq (%rax), %rdi
testb $0x20, 0x1(%rdi,%rsi,2)
je 0x28935
incq %r12
movq %r12, (%rsp)
decq %rdx
jne 0x28689
jmp 0x28932
leaq -0x7fffffee(%rsi), %rax
cmpq $-0x7ffffff1, %rax      # imm = 0x8000000F
jbe 0x28c80
addq $0x12, %rsi
movl 0x44(%r15), %eax
cmpq %rax, %rsi
movq 0x10(%rsp), %r13
jbe 0x286e2
movq %r15, %rdi
callq 0x22a64
testl %eax, %eax
js 0x28c8b
leal -0x41(%rbx), %eax
cmpl $0x22, %eax
ja 0x286fe
movabsq $0x500000005, %rcx      # imm = 0x500000005
btq %rax, %rcx
jb 0x2893e
movl %ebx, %eax
andb $-0x21, %al
cmpb $0x49, %al
je 0x28a49
cmpl $0x59, %ebx
jg 0x28722
cmpl $0x42, %ebx
je 0x287b5
cmpl $0x48, %ebx
je 0x2872b
jmp 0x288c2
cmpl $0x5a, %ebx
jne 0x288b0
movq (%rsp), %r12
movq %r12, %rdi
movl $0x9, %esi
callq 0x4190
movq %rax, %r13
testq %rax, %rax
jne 0x28752
movq %r12, %rdi
callq 0x41d0
movq %rax, %r13
addq %r12, %r13
cmpb $0x48, %bl
jne 0x28a89
movl %r13d, %eax
subl %r12d, %eax
testb $0x1, %al
je 0x28a89
movl 0xc(%rsp), %ebx
testl %ebx, %ebx
je 0x28cbc
cmpq %rbp, %r12
jae 0x28863
callq 0x4510
movq %rbp, %rcx
subq %r12, %rcx
movq 0x10(%rsp), %r13
movzbl (%r12), %edx
movq (%rax), %rsi
testb $0x20, 0x1(%rsi,%rdx,2)
jne 0x28868
incq %r12
movq %r12, (%rsp)
decq %rcx
jne 0x2878e
movq %rbp, %r12
jmp 0x28868
movq (%rsp), %rbx
leaq 0x1(%rbx), %r12
movq %r12, (%rsp)
movb (%rbx), %al
movb %al, 0xb(%rsp)
movzbl 0x1(%rbx), %ecx
cmpq $0x2c, %rcx
ja 0x287e5
movabsq $0x100000000201, %rdx   # imm = 0x100000000201
btq %rcx, %rdx
jb 0x28afc
cmpl $0x0, 0xc(%rsp)
je 0x28d1d
cmpq %rbp, %r12
jae 0x28820
callq 0x4510
movq 0x20(%rsp), %rcx
subq %rbx, %rcx
movzbl (%r12), %edx
movq (%rax), %rsi
testb $0x20, 0x1(%rsi,%rdx,2)
jne 0x28820
incq %r12
movq %r12, (%rsp)
decq %rcx
jne 0x28802
movq %rbp, %r12
movl 0xc(%rsp), %ebx
cmpq %rbp, %r12
jae 0x28935
callq 0x4510
leaq (%r12,%rbp), %rcx
subq %r12, %rcx
movq %rbp, %rdx
subq %r12, %rdx
movzbl (%r12), %esi
movq (%rax), %rdi
testb $0x20, 0x1(%rdi,%rsi,2)
je 0x28935
incq %r12
movq %r12, (%rsp)
decq %rdx
jne 0x2883f
jmp 0x28932
movq 0x10(%rsp), %r13
cmpq %rbp, %r12
jae 0x28935
callq 0x4510
leaq (%r12,%rbp), %rcx
subq %r12, %rcx
movq %rbp, %rdx
subq %r12, %rdx
movzbl (%r12), %esi
movq (%rax), %rdi
testb $0x20, 0x1(%rdi,%rsi,2)
je 0x28935
incq %r12
movq %r12, (%rsp)
decq %rdx
jne 0x28883
jmp 0x28932
movl 0xc(%rsp), %ebx
jmp 0x2899d
cmpl $0x64, %ebx
je 0x28bbb
cmpl $0x66, %ebx
je 0x28bf3
movl 0xc(%rsp), %ebx
testl %ebx, %ebx
je 0x28ccc
movq (%rsp), %r12
cmpq %rbp, %r12
jae 0x28900
callq 0x4510
movq %rbp, %rcx
subq %r12, %rcx
movzbl (%r12), %edx
movq (%rax), %rsi
testb $0x20, 0x1(%rsi,%rdx,2)
jne 0x28900
incq %r12
movq %r12, (%rsp)
decq %rcx
jne 0x288e2
movq %rbp, %r12
cmpq %rbp, %r12
jae 0x28935
callq 0x4510
leaq (%r12,%rbp), %rcx
subq %r12, %rcx
movq %rbp, %rdx
subq %r12, %rdx
movzbl (%r12), %esi
movq (%rax), %rdi
testb $0x20, 0x1(%rdi,%rsi,2)
je 0x28935
incq %r12
movq %r12, (%rsp)
decq %rdx
jne 0x28917
movq %rcx, %r12
movl %r14d, 0x40(%r15)
jmp 0x283e9
movq 0x38(%r15), %rax
movslq 0x40(%r15), %rcx
leal 0x1(%rcx), %edx
movl %edx, 0x40(%r15)
movb $0x41, (%rax,%rcx)
movq (%rsp), %rax
leaq 0x1(%rax), %rcx
movq %rcx, (%rsp)
movb (%rax), %al
movq 0x38(%r15), %rcx
movslq 0x40(%r15), %rdx
leal 0x1(%rdx), %esi
movl %esi, 0x40(%r15)
movb %al, (%rcx,%rdx)
movq (%rsp), %r12
cmpb $0xa, (%r12)
jl 0x28992
incq %r12
movq %r12, (%rsp)
cmpb $0x9, (%r12)
leaq 0x1(%r12), %r12
jg 0x2897f
decq %r12
movl 0xc(%rsp), %ebx
incq %r12
movq %r12, (%rsp)
cmpq %rbp, %r12
jb 0x283e9
jmp 0x28c9f
movq %rcx, %r12
jmp 0x2899d
cmpq %rbp, %r12
jae 0x289fa
callq 0x4510
movzbl (%r12), %ecx
movq (%rax), %rdx
testb $0x20, 0x1(%rdx,%rcx,2)
jne 0x289fa
movq %r12, %rdx
incq %rdx
movq 0x20(%rsp), %rcx
subq %r12, %rcx
movq %rdx, %r12
movq %rdx, (%rsp)
testq %rcx, %rcx
je 0x289fa
movzbl (%r12), %esi
movq (%rax), %rdi
leaq 0x1(%r12), %rdx
decq %rcx
testb $0x20, 0x1(%rdi,%rsi,2)
je 0x289d7
cmpq %rbp, %r12
jae 0x2899d
callq 0x4510
movzbl (%r12), %ecx
movq (%rax), %rdx
testb $0x20, 0x1(%rdx,%rcx,2)
je 0x2899d
movq %r12, %rdx
incq %rdx
movq 0x20(%rsp), %rcx
subq %r12, %rcx
movq %rdx, (%rsp)
testq %rcx, %rcx
je 0x28c25
movzbl (%rdx), %esi
movq (%rax), %rdi
movq %rdx, %r12
incq %rdx
decq %rcx
testb $0x20, 0x1(%rdi,%rsi,2)
jne 0x28a21
jmp 0x2899d
movq (%rsp), %rdi
cmpb $0x2d, (%rdi)
jne 0x28b29
movq %rsp, %rsi
movl $0x20, %edx
leaq 0x1c(%rsp), %rcx
callq 0x2823b
cmpl $-0x80, %eax
jl 0x28b6c
movq 0x38(%r15), %rcx
movslq 0x40(%r15), %rdx
leal 0x1(%rdx), %esi
movl %esi, 0x40(%r15)
movb $0x63, (%rcx,%rdx)
jmp 0x28b55
movq 0x38(%r15), %rax
movslq 0x40(%r15), %rcx
leal 0x1(%rcx), %edx
movl %edx, 0x40(%r15)
movb %bl, (%rax,%rcx)
movq %r13, %rsi
subq (%rsp), %rsi
incq %rsi
movq %r15, %rdi
callq 0x27f7b
testl %eax, %eax
js 0x28c8b
movslq 0x40(%r15), %rdi
addq 0x38(%r15), %rdi
movq (%rsp), %rsi
movq %r13, %rdx
subq %rsi, %rdx
callq 0x43c0
movl (%rsp), %eax
movl %r13d, %ecx
subl %eax, %ecx
movl 0x40(%r15), %eax
leal (%rax,%rcx), %edx
movq 0x38(%r15), %rsi
addl %ecx, %eax
incl %eax
movl %eax, 0x40(%r15)
movslq %edx, %rax
movb $0x0, (%rsi,%rax)
movq %r13, (%rsp)
movq 0x10(%rsp), %r13
jmp 0x28971
movl $0x0, 0x30(%rsp)
movsbl %al, %edi
xorl %esi, %esi
movq %r12, %rdx
movq %rsp, %rcx
movq %r15, %r8
leaq 0x30(%rsp), %r9
callq 0x31ce0
testl %eax, %eax
jns 0x28971
jmp 0x28c8b
movq %rsp, %rsi
movl $0x20, %edx
leaq 0x1c(%rsp), %rcx
callq 0x27fbb
cmpl $0xff, %eax
ja 0x28b8c
movq 0x38(%r15), %rcx
movslq 0x40(%r15), %rdx
leal 0x1(%rdx), %esi
movl %esi, 0x40(%r15)
movb $0x43, (%rcx,%rdx)
movq 0x38(%r15), %rcx
movslq 0x40(%r15), %rdx
leal 0x1(%rdx), %esi
movl %esi, 0x40(%r15)
movb %al, (%rcx,%rdx)
jmp 0x28971
movslq 0x40(%r15), %rcx
leal 0x1(%rcx), %esi
movq 0x38(%r15), %rdx
movl %esi, 0x40(%r15)
cmpl $0xffff8000, %eax       # imm = 0xFFFF8000
jb 0x28c2d
movb $0x73, (%rdx,%rcx)
jmp 0x28baa
movslq 0x40(%r15), %rcx
leal 0x1(%rcx), %esi
movq 0x38(%r15), %rdx
movl %esi, 0x40(%r15)
cmpl $0xffff, %eax           # imm = 0xFFFF
ja 0x28c33
movb $0x53, (%rdx,%rcx)
movq 0x38(%r15), %rcx
movslq 0x40(%r15), %rdx
movw %ax, (%rcx,%rdx)
leal 0x2(%rdx), %eax
jmp 0x28bea
movq 0x38(%r15), %rax
movslq 0x40(%r15), %rcx
leal 0x1(%rcx), %edx
movl %edx, 0x40(%r15)
movb $0x64, (%rax,%rcx)
movq (%rsp), %rdi
movq %rsp, %rsi
callq 0x4350
movq 0x38(%r15), %rax
movslq 0x40(%r15), %rcx
movsd %xmm0, (%rax,%rcx)
leal 0x8(%rcx), %eax
movl %eax, 0x40(%r15)
jmp 0x28971
movq 0x38(%r15), %rax
movslq 0x40(%r15), %rcx
leal 0x1(%rcx), %edx
movl %edx, 0x40(%r15)
movb $0x66, (%rax,%rcx)
movq (%rsp), %rdi
movq %rsp, %rsi
callq 0x4350
cvtsd2ss %xmm0, %xmm0
movq 0x38(%r15), %rax
movslq 0x40(%r15), %rcx
movss %xmm0, (%rax,%rcx)
jmp 0x28c42
movq %rdx, %r12
jmp 0x2899d
movb $0x69, (%rdx,%rcx)
jmp 0x28c37
movb $0x49, (%rdx,%rcx)
movq 0x38(%r15), %rcx
movslq 0x40(%r15), %rdx
movl %eax, (%rcx,%rdx)
addl $0x4, 0x40(%r15)
jmp 0x28971
testl %ebx, %ebx
je 0x28c64
xorl %eax, %eax
jmp 0x28c90
leaq 0x6f88a(%rip), %rsi     # 0x984e5
leaq 0x6f8a2(%rip), %rdx     # 0x98504
jmp 0x28c72
leaq 0x6f87a(%rip), %rsi     # 0x984e5
leaq 0x6f87d(%rip), %rdx     # 0x984ef
movl $0x1, %edi
xorl %eax, %eax
callq 0x13de5
jmp 0x28c8b
callq 0x4050
movl $0xc, (%rax)
movl $0xfffffffe, %eax       # imm = 0xFFFFFFFE
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %eax, %eax
testl %ebx, %ebx
jne 0x28c90
cmpl $0x0, 0x1c(%rsp)
je 0x28c90
leaq 0x6f832(%rip), %rsi     # 0x984e5
leaq 0x6f8dd(%rip), %rdx     # 0x98597
jmp 0x28c72
leaq 0x6f822(%rip), %rsi     # 0x984e5
leaq 0x6f862(%rip), %rdx     # 0x9852c
jmp 0x28c72
leaq 0x30(%rsp), %rdi
leaq 0xb(%rsp), %rcx
movl $0x28, %esi
movl $0x1, %r8d
movl $0x27, %edx
callq 0x35af3
leaq 0x6f7f3(%rip), %rsi     # 0x984e5
leaq 0x6f889(%rip), %rdx     # 0x98582
movl $0x1, %edi
movq %rax, %rcx
xorl %eax, %eax
callq 0x13de5
jmp 0x28c8b
leaq 0x6f7d4(%rip), %rsi     # 0x984e5
leaq 0x6f7ff(%rip), %rdx     # 0x98517
jmp 0x28c72
leaq 0x6f7c1(%rip), %rsi     # 0x984e5
leaq 0x6f832(%rip), %rdx     # 0x9855d
jmp 0x28c72