// File: /workspace/github_cpp_makefile_star2_O2/chhylp123[P]hifiasm/gfa_ut.cpp
// Function: worker_integert_debug_sym(void*, long, int)
static void worker_integert_debug_sym(void *data, long i, int tid) // callback for kt_for()
{
    ul_resolve_t *uidx = (ul_resolve_t *)data;
    ul2ul_item_t *o = get_ul_ovlp(&(uidx->uovl), ulg_id(uidx->uovl, (uint32_t)i), 
                                                            ulg_type(uidx->uovl, (uint32_t)i));
    if(!o) return;
    ul2ul_idx_t *ul2 = &(uidx->uovl); 
    // if(o->is_del) {
    //     assert(o->cn == 0);
    // }

    ul2ul_t *z; uint64_t k, qid = i, ct_n = 0, del_n = 0; assert(o->id == qid);
    for (k = 0; k < o->n; k++) {
        if(o->a[k].is_del) del_n++;
        else if(o->a[k].is_ct) ct_n++;
        assert(ul2->item_idx[o->a[k].hid] != (uint32_t)-1);
        z = get_ul_o(ul2, ulg_id(*ul2, o->a[k].hid), ulg_type(*ul2, o->a[k].hid), 
                                            ulg_id(*ul2, qid), ulg_type(*ul2, qid));
        assert(z && z->hid == qid && z->is_del == o->a[k].is_del && z->is_ct == o->a[k].is_ct);

        // if(!(o->a[k].is_rev == z->is_rev && (*z).qs == o->a[k].ts && (*z).qe == o->a[k].te && 
        //                                                 (*z).ts == o->a[k].qs && (*z).te == o->a[k].qe)){
        //         fprintf(stderr, "uln::%u[M::%s] fn::%u(%c), fqs::%u, fqe::%u, fts::%u, fte::%u, fdel::%u, rn::%u(%c), rqs::%u, rqe::%u, rts::%u, rte::%u, rdel::%u\n", ul2->uln, __func__, 
        //         o->a[k].hid, "+-"[o->a[k].is_rev], o->a[k].qs, o->a[k].qe, o->a[k].ts, o->a[k].te, o->a[k].is_del,
        //         z->hid, "+-"[z->is_rev], z->qs, z->qe, z->ts, z->te, z->is_del);
        // }
        // if(o->a[k].is_rev == z->is_rev && (*z).qs == o->a[k].ts && (*z).qe == o->a[k].te && 
        //     (*z).ts == o->a[k].qs && (*z).te == o->a[k].qe) {
        //     fprintf(stderr, "good::[M::%s] fn::%u(%c), fqs::%u, fqe::%u, fts::%u, fte::%u, rn::%u(%c), rqs::%u, rqe::%u, rts::%u, rte::%u\n", __func__, 
        //         o->a[k].hid, "+-"[o->a[k].is_rev], o->a[k].qs, o->a[k].qe, o->a[k].ts, o->a[k].te, 
        //         z->hid, "+-"[z->is_rev], z->qs, z->qe, z->ts, z->te);
        // } else {
        //     fprintf(stderr, "bad::[M::%s] fn::%u(%c), fqs::%u, fqe::%u, fts::%u, fte::%u, rn::%u(%c), rqs::%u, rqe::%u, rts::%u, rte::%u\n", __func__, 
        //         o->a[k].hid, "+-"[o->a[k].is_rev], o->a[k].qs, o->a[k].qe, o->a[k].ts, o->a[k].te, 
        //         z->hid, "+-"[z->is_rev], z->qs, z->qe, z->ts, z->te);
        // }
        assert(o->a[k].is_rev == z->is_rev && (*z).qs == o->a[k].ts && (*z).qe == o->a[k].te && 
                                                        (*z).ts == o->a[k].qs && (*z).te == o->a[k].qe);
        if(k<o->cn) assert(!o->a[k].is_del);
        else assert(o->a[k].is_del);
    }

    if(o->is_del) assert((ct_n + del_n) == o->n);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rsi, %rbx
leaq 0x1f0(%rdi), %rcx
movl %ebx, %esi
movq %rdi, 0x38(%rsp)
movq 0x208(%rdi), %rdi
xorl %eax, %eax
xorl %edx, %edx
cmpq %rdi, %rsi
setb %dl
movq %rdi, 0x18(%rsp)
cmovaeq %rdi, %rax
subq %rax, %rsi
movq %rcx, 0x30(%rsp)
movq %rcx, %rdi
callq 0x1ba426
testq %rax, %rax
je 0x1da61c
movl 0x18(%rax), %ecx
movq %rcx, 0x20(%rsp)
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
cmpq %rbx, %rcx
jne 0x1da6c6
movq 0x8(%rax), %rcx
movq %rcx, 0x10(%rsp)
xorl %edi, %edi
xorl %edx, %edx
movq 0x18(%rsp), %rcx
cmpq %rbx, %rcx
cmoval %edi, %ecx
seta %dl
movl %edx, 0xc(%rsp)
movq %rbx, 0x28(%rsp)
movl %ebx, %edx
subl %ecx, %edx
movl %edx, 0x8(%rsp)
xorl %ebp, %ebp
xorl %esi, %esi
xorl %ecx, %ecx
xorl %edx, %edx
cmpq %rsi, 0x10(%rsp)
je 0x1da607
movq %rsi, 0x50(%rsp)
movq %rdx, 0x40(%rsp)
movq %rcx, 0x48(%rsp)
movq %rax, %r13
movq (%rax), %r14
movzbl 0x24(%r14,%rbp), %r15d
movl %r15d, %ebx
andl $0x40, %ebx
movl %r15d, %eax
shrb $0x7, %al
testq %rbx, %rbx
movzbl %al, %r12d
cmovnel %edi, %r12d
movq 0x38(%rsp), %rax
movq 0x220(%rax), %rax
movl (%r14,%rbp), %esi
cmpl $-0x1, (%rax,%rsi,4)
je 0x1da669
xorl %edx, %edx
movq 0x18(%rsp), %rax
cmpq %rsi, %rax
seta %dl
cmoval %edi, %eax
subl %eax, %esi
movq 0x30(%rsp), %rdi
movl 0x8(%rsp), %ecx
movl 0xc(%rsp), %r8d
callq 0x1ba44b
testq %rax, %rax
je 0x1da64a
movl (%rax), %ecx
cmpq 0x28(%rsp), %rcx
jne 0x1da64a
movb 0x24(%rax), %cl
movl %r15d, %edx
xorb %cl, %dl
js 0x1da64a
shrb $0x6, %cl
andb $0x1, %cl
shrb $0x6, %r15b
andb $0x1, %r15b
cmpb %r15b, %cl
jne 0x1da64a
testb $0x3f, %dl
jne 0x1da62b
movl 0x4(%rax), %edx
cmpl 0xc(%r14,%rbp), %edx
jne 0x1da62b
movl 0x8(%rax), %edx
cmpl 0x10(%r14,%rbp), %edx
jne 0x1da62b
movl 0xc(%rax), %edx
cmpl 0x4(%r14,%rbp), %edx
jne 0x1da62b
movl 0x10(%rax), %eax
cmpl 0x8(%r14,%rbp), %eax
jne 0x1da62b
movq %r13, %rax
movl 0x1c(%r13), %edx
movq 0x50(%rsp), %rsi
cmpq %rdx, %rsi
movl $0x0, %edi
jae 0x1da5d9
testb %cl, %cl
je 0x1da5e1
jmp 0x1da688
testb %cl, %cl
je 0x1da6a7
movzbl %r12b, %ecx
movq 0x48(%rsp), %rdx
addq %rcx, %rdx
movq %rdx, %rcx
shrl $0x6, %ebx
movq 0x40(%rsp), %rdx
addq %rbx, %rdx
incq %rsi
addq $0x28, %rbp
jmp 0x1da4ca
cmpl $0x0, 0x20(%rsp)
jns 0x1da61c
addq %rcx, %rdx
cmpq 0x10(%rsp), %rdx
jne 0x1da6e5
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x22144(%rip), %rdi     # 0x1fc776
leaq 0x1cea0(%rip), %rsi     # 0x1f74d9
leaq 0x220b5(%rip), %rcx     # 0x1fc6f5
movl $0x1c6b, %edx           # imm = 0x1C6B
callq 0x2110
leaq 0x220d6(%rip), %rdi     # 0x1fc727
leaq 0x1ce81(%rip), %rsi     # 0x1f74d9
leaq 0x22096(%rip), %rcx     # 0x1fc6f5
movl $0x1c58, %edx           # imm = 0x1C58
callq 0x2110
leaq 0x1ef41(%rip), %rdi     # 0x1f95b1
leaq 0x1ce62(%rip), %rsi     # 0x1f74d9
leaq 0x22077(%rip), %rcx     # 0x1fc6f5
movl $0x1c55, %edx           # imm = 0x1C55
callq 0x2110
leaq 0x22167(%rip), %rdi     # 0x1fc7f6
leaq 0x1ce43(%rip), %rsi     # 0x1f74d9
leaq 0x22058(%rip), %rcx     # 0x1fc6f5
movl $0x1c6c, %edx           # imm = 0x1C6C
callq 0x2110
leaq 0x22149(%rip), %rdi     # 0x1fc7f7
leaq 0x1ce24(%rip), %rsi     # 0x1f74d9
leaq 0x22039(%rip), %rcx     # 0x1fc6f5
movl $0x1c6d, %edx           # imm = 0x1C6D
callq 0x2110
leaq 0x1f08f(%rip), %rdi     # 0x1f975c
leaq 0x1ce05(%rip), %rsi     # 0x1f74d9
leaq 0x2201a(%rip), %rcx     # 0x1fc6f5
movl $0x1c51, %edx           # imm = 0x1C51
callq 0x2110
leaq 0x2211a(%rip), %rdi     # 0x1fc806
leaq 0x1cde6(%rip), %rsi     # 0x1f74d9
leaq 0x21ffb(%rip), %rcx     # 0x1fc6f5
movl $0x1c70, %edx           # imm = 0x1C70
callq 0x2110