// File: /workspace/github_cpp_makefile_star2_O1/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 $0x48, %rsp
movq %rsi, 0x8(%rsp)
movl %esi, %ecx
movq 0x208(%rdi), %rsi
xorl %edx, %edx
cmpq %rsi, %rcx
cmovaeq %rsi, %rdx
movq %rcx, %rax
subq %rdx, %rax
movq %rsi, 0x20(%rsp)
cmpq %rsi, %rcx
jb 0x21e731
addq 0x208(%rdi), %rax
leaq 0x1f0(%rdi), %r8
movq 0x220(%rdi), %rcx
movl (%rcx,%rax,4), %edx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq %rax, %rdx
je 0x21e755
shlq $0x5, %rdx
addq (%r8), %rdx
jmp 0x21e757
xorl %edx, %edx
testq %rdx, %rdx
je 0x21e907
movl 0x18(%rdx), %ecx
movl %ecx, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
cmpq 0x8(%rsp), %rax
jne 0x21e9b1
movq 0x8(%rdx), %rax
xorl %r9d, %r9d
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x21e8f8
movq %rcx, 0x28(%rsp)
movq (%rdx), %r14
movq 0x220(%rdi), %rax
movq %rax, 0x38(%rsp)
xorl %esi, %esi
movq 0x8(%rsp), %rcx
movq 0x20(%rsp), %rax
cmpq %rcx, %rax
cmoval %r9d, %eax
seta %sil
movl %esi, 0x14(%rsp)
subl %eax, %ecx
movl %ecx, 0x10(%rsp)
addq $0x24, %r14
xorl %ebx, %ebx
xorl %eax, %eax
xorl %r13d, %r13d
movq %rdx, 0x30(%rsp)
movq %rax, 0x40(%rsp)
movzbl (%r14), %eax
movl %eax, %r12d
andl $0x40, %r12d
shrb $0x7, %al
testq %r12, %r12
movzbl %al, %ebp
cmovnel %r9d, %ebp
movl -0x24(%r14), %esi
movq 0x38(%rsp), %rax
cmpl $-0x1, (%rax,%rsi,4)
je 0x21e954
xorl %edx, %edx
movq 0x20(%rsp), %rax
cmpq %rsi, %rax
seta %dl
cmoval %r9d, %eax
subl %eax, %esi
movq %r8, %r15
movq %r8, %rdi
movl 0x10(%rsp), %ecx
movl 0x14(%rsp), %r8d
callq 0x1faeda
testq %rax, %rax
je 0x21e935
movl (%rax), %ecx
cmpq 0x8(%rsp), %rcx
jne 0x21e935
movb 0x24(%rax), %sil
movb (%r14), %cl
movl %ecx, %edx
xorb %sil, %dl
js 0x21e935
shrb $0x6, %sil
andb $0x1, %sil
shrb $0x6, %cl
andb $0x1, %cl
cmpb %cl, %sil
jne 0x21e935
testb $0x3f, %dl
jne 0x21e916
movl 0x4(%rax), %edx
cmpl -0x18(%r14), %edx
jne 0x21e916
movl 0x8(%rax), %edx
cmpl -0x14(%r14), %edx
jne 0x21e916
movl 0xc(%rax), %edx
cmpl -0x20(%r14), %edx
jne 0x21e916
movl 0x10(%rax), %eax
cmpl -0x1c(%r14), %eax
jne 0x21e916
movq 0x30(%rsp), %rdx
movl 0x1c(%rdx), %eax
cmpq %rax, %r13
movq %r15, %r8
movl $0x0, %r9d
jae 0x21e8bd
testb %cl, %cl
je 0x21e8c5
jmp 0x21e973
testb %cl, %cl
je 0x21e992
movzbl %bpl, %eax
movq 0x40(%rsp), %rcx
addq %rax, %rcx
movq %rcx, %rax
shrl $0x6, %r12d
addq %r12, %rbx
incq %r13
addq $0x28, %r14
cmpq %r13, 0x18(%rsp)
jne 0x21e7cf
addq %rax, %rbx
movq %rbx, %r9
movq 0x28(%rsp), %rcx
testl %ecx, %ecx
jns 0x21e907
cmpq 0x18(%rsp), %r9
jne 0x21e9d0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1fbb6(%rip), %rdi     # 0x23e4d3
leaq 0x1aa01(%rip), %rsi     # 0x239325
leaq 0x1fb27(%rip), %rcx     # 0x23e452
movl $0x1c6b, %edx           # imm = 0x1C6B
callq 0x2110
leaq 0x1fb48(%rip), %rdi     # 0x23e484
leaq 0x1a9e2(%rip), %rsi     # 0x239325
leaq 0x1fb08(%rip), %rcx     # 0x23e452
movl $0x1c58, %edx           # imm = 0x1C58
callq 0x2110
leaq 0x1c9b3(%rip), %rdi     # 0x23b30e
leaq 0x1a9c3(%rip), %rsi     # 0x239325
leaq 0x1fae9(%rip), %rcx     # 0x23e452
movl $0x1c55, %edx           # imm = 0x1C55
callq 0x2110
leaq 0x1fbd9(%rip), %rdi     # 0x23e553
leaq 0x1a9a4(%rip), %rsi     # 0x239325
leaq 0x1faca(%rip), %rcx     # 0x23e452
movl $0x1c6c, %edx           # imm = 0x1C6C
callq 0x2110
leaq 0x1fbbb(%rip), %rdi     # 0x23e554
leaq 0x1a985(%rip), %rsi     # 0x239325
leaq 0x1faab(%rip), %rcx     # 0x23e452
movl $0x1c6d, %edx           # imm = 0x1C6D
callq 0x2110
leaq 0x1cb01(%rip), %rdi     # 0x23b4b9
leaq 0x1a966(%rip), %rsi     # 0x239325
leaq 0x1fa8c(%rip), %rcx     # 0x23e452
movl $0x1c51, %edx           # imm = 0x1C51
callq 0x2110
leaq 0x1fb8c(%rip), %rdi     # 0x23e563
leaq 0x1a947(%rip), %rsi     # 0x239325
leaq 0x1fa6d(%rip), %rcx     # 0x23e452
movl $0x1c70, %edx           # imm = 0x1C70
callq 0x2110