// File: /workspace/github_cpp_makefile_star2_O3/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, (%rsp)
movl %esi, %eax
movq 0x208(%rdi), %rsi
xorl %ecx, %ecx
cmpq %rsi, %rax
cmovaeq %rsi, %rcx
movq %rax, %rdx
subq %rcx, %rdx
addq %rsi, %rdx
movq %rsi, 0x18(%rsp)
cmpq %rsi, %rax
cmovbq %rax, %rdx
movq 0x220(%rdi), %rax
movq %rax, 0x30(%rsp)
movl (%rax,%rdx,4), %eax
movl $0xffffffff, %ecx       # imm = 0xFFFFFFFF
cmpq %rcx, %rax
je 0x22a0f2
addq $0x1f0, %rdi            # imm = 0x1F0
movq (%rdi), %rdx
testq %rdx, %rdx
je 0x22a0f2
shlq $0x5, %rax
addq %rax, %rdx
movl 0x18(%rdx), %ecx
movl %ecx, %eax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
cmpq (%rsp), %rax
jne 0x22a19c
movq 0x8(%rdx), %rax
xorl %r8d, %r8d
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x22a0e3
movq %rcx, 0x20(%rsp)
movq (%rdx), %rbp
xorl %esi, %esi
movq (%rsp), %rcx
movq 0x18(%rsp), %rax
cmpq %rcx, %rax
seta %sil
movl %esi, 0xc(%rsp)
cmoval %r8d, %eax
subl %eax, %ecx
movl %ecx, 0x8(%rsp)
xorl %eax, %eax
xorl %ecx, %ecx
xorl %r14d, %r14d
movq %rdx, 0x28(%rsp)
movq %rcx, 0x38(%rsp)
movq %rax, 0x40(%rsp)
movzbl 0x24(%rbp), %r15d
movl %r15d, %r13d
andl $0x40, %r13d
movl %r15d, %eax
shrb $0x7, %al
testq %r13, %r13
movzbl %al, %r12d
cmovnel %r8d, %r12d
movl (%rbp), %esi
movq 0x30(%rsp), %rax
cmpl $-0x1, (%rax,%rsi,4)
je 0x22a13f
xorl %edx, %edx
movq 0x18(%rsp), %rax
cmpq %rsi, %rax
seta %dl
cmoval %r8d, %eax
subl %eax, %esi
movq %rdi, %rbx
movl 0x8(%rsp), %ecx
movl 0xc(%rsp), %r8d
callq 0x2064dd
testq %rax, %rax
je 0x22a120
movl (%rax), %ecx
cmpq (%rsp), %rcx
jne 0x22a120
movb 0x24(%rax), %cl
movl %r15d, %edx
xorb %cl, %dl
js 0x22a120
shrb $0x6, %cl
andb $0x1, %cl
shrb $0x6, %r15b
andb $0x1, %r15b
cmpb %r15b, %cl
jne 0x22a120
testb $0x3f, %dl
jne 0x22a101
movl 0x4(%rax), %edx
cmpl 0xc(%rbp), %edx
jne 0x22a101
movl 0x8(%rax), %edx
cmpl 0x10(%rbp), %edx
jne 0x22a101
movl 0xc(%rax), %edx
cmpl 0x4(%rbp), %edx
jne 0x22a101
movl 0x10(%rax), %eax
cmpl 0x8(%rbp), %eax
jne 0x22a101
movq 0x28(%rsp), %rdx
movl 0x1c(%rdx), %eax
cmpq %rax, %r14
movq %rbx, %rdi
movl $0x0, %r8d
jae 0x22a0a6
testb %cl, %cl
je 0x22a0ae
jmp 0x22a15e
testb %cl, %cl
je 0x22a17d
movzbl %r12b, %eax
movq 0x38(%rsp), %rcx
addq %rax, %rcx
shrl $0x6, %r13d
movq 0x40(%rsp), %rax
addq %r13, %rax
incq %r14
addq $0x28, %rbp
cmpq %r14, 0x10(%rsp)
jne 0x229fbb
addq %rcx, %rax
movq %rax, %r8
movq 0x20(%rsp), %rcx
testl %ecx, %ecx
jns 0x22a0f2
cmpq 0x10(%rsp), %r8
jne 0x22a1bb
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x206af(%rip), %rdi     # 0x24a7b7
leaq 0x1b4fa(%rip), %rsi     # 0x245609
leaq 0x20620(%rip), %rcx     # 0x24a736
movl $0x1c6b, %edx           # imm = 0x1C6B
callq 0x2110
leaq 0x20641(%rip), %rdi     # 0x24a768
leaq 0x1b4db(%rip), %rsi     # 0x245609
leaq 0x20601(%rip), %rcx     # 0x24a736
movl $0x1c58, %edx           # imm = 0x1C58
callq 0x2110
leaq 0x1d4ac(%rip), %rdi     # 0x2475f2
leaq 0x1b4bc(%rip), %rsi     # 0x245609
leaq 0x205e2(%rip), %rcx     # 0x24a736
movl $0x1c55, %edx           # imm = 0x1C55
callq 0x2110
leaq 0x206d2(%rip), %rdi     # 0x24a837
leaq 0x1b49d(%rip), %rsi     # 0x245609
leaq 0x205c3(%rip), %rcx     # 0x24a736
movl $0x1c6c, %edx           # imm = 0x1C6C
callq 0x2110
leaq 0x206b4(%rip), %rdi     # 0x24a838
leaq 0x1b47e(%rip), %rsi     # 0x245609
leaq 0x205a4(%rip), %rcx     # 0x24a736
movl $0x1c6d, %edx           # imm = 0x1C6D
callq 0x2110
leaq 0x1d5fa(%rip), %rdi     # 0x24779d
leaq 0x1b45f(%rip), %rsi     # 0x245609
leaq 0x20585(%rip), %rcx     # 0x24a736
movl $0x1c51, %edx           # imm = 0x1C51
callq 0x2110
leaq 0x20685(%rip), %rdi     # 0x24a847
leaq 0x1b440(%rip), %rsi     # 0x245609
leaq 0x20566(%rip), %rcx     # 0x24a736
movl $0x1c70, %edx           # imm = 0x1C70
callq 0x2110