// File: chhylp123[P]hifiasm/Correct.cpp
// Function: prt_masks(ma_ug_t*, ul_ov_t*, unsigned long)
void prt_masks(ma_ug_t *ug, ul_ov_t *a, uint64_t a_n)
{
    uint64_t k;
    for (k = 0; k < a_n; k++) {
        fprintf(stderr, "[M::%s]\tutg%.6u%c\txl::%u\tx::[%u,\t%u)\t%c\tutg%.6u%c\tyl::%u\ty::[%u,\t%u)\tfull::%u\tis_cal::%u\n", 
        __func__, 
        a[k].qn + 1, "lc"[ug->u.a[a[k].qn].circ], ug->u.a[a[k].qn].len, a[k].qs, a[k].qe, "+-"[a[k].rev],
        a[k].tn + 1, "lc"[ug->u.a[a[k].tn].circ], ug->u.a[a[k].tn].len, a[k].ts, a[k].te,
        a[k].el, (a[k].sec!=((uint32_t)(0x3fffffff)))?1:0);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rdi, -0x30(%rbp)
movq %rsi, -0x38(%rbp)
movq %rdx, -0x40(%rbp)
movq $0x0, -0x48(%rbp)
movq -0x48(%rbp), %rax
cmpq -0x40(%rbp), %rax
jae 0x81be8
movq 0x3425d3(%rip), %rax    # 0x3c3fe0
movq (%rax), %rdi
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rcx
addq %rcx, %rax
movl (%rax), %ecx
addl $0x1, %ecx
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x38(%rbp), %rdx
imulq $0x1c, -0x48(%rbp), %rsi
addq %rsi, %rdx
movl (%rdx), %edx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movl (%rax), %eax
shrl $0x1f, %eax
movl %eax, %eax
movl %eax, %edx
leaq 0x3038b5(%rip), %rax    # 0x385303
movsbl (%rax,%rdx), %r8d
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x38(%rbp), %rdx
imulq $0x1c, -0x48(%rbp), %rsi
addq %rsi, %rdx
movl (%rdx), %edx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movl (%rax), %r9d
andl $0x7fffffff, %r9d       # imm = 0x7FFFFFFF
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x4(%rax), %eax
movl %eax, -0x54(%rbp)
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x8(%rax), %eax
movl %eax, -0x50(%rbp)
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x18(%rax), %eax
shrl $0x1f, %eax
movl %eax, %eax
movl %eax, %edx
leaq 0x3013e0(%rip), %rax    # 0x382e9b
movsbl (%rax,%rdx), %r13d
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0xc(%rax), %r12d
addl $0x1, %r12d
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x38(%rbp), %rdx
imulq $0x1c, -0x48(%rbp), %rsi
addq %rsi, %rdx
movl 0xc(%rdx), %edx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movl (%rax), %eax
shrl $0x1f, %eax
movl %eax, %eax
movl %eax, %edx
leaq 0x303801(%rip), %rax    # 0x385303
movsbl (%rax,%rdx), %r15d
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x38(%rbp), %rdx
imulq $0x1c, -0x48(%rbp), %rsi
addq %rsi, %rdx
movl 0xc(%rdx), %edx
imulq $0x28, %rdx, %rdx
addq %rdx, %rax
movl (%rax), %r14d
andl $0x7fffffff, %r14d      # imm = 0x7FFFFFFF
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x10(%rax), %ebx
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x14(%rax), %r11d
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x18(%rax), %r10d
shrl $0x1e, %r10d
andl $0x1, %r10d
movq -0x38(%rbp), %rax
imulq $0x1c, -0x48(%rbp), %rdx
addq %rdx, %rax
movl 0x18(%rax), %eax
andl $0x3fffffff, %eax       # imm = 0x3FFFFFFF
xorl %edx, %edx
movl $0x1, %esi
cmpl $0x3fffffff, %eax       # imm = 0x3FFFFFFF
movl -0x54(%rbp), %eax
cmovnel %esi, %edx
movl %edx, -0x4c(%rbp)
leaq 0x303709(%rip), %rsi    # 0x38529f
leaq 0x30375c(%rip), %rdx    # 0x3852f9
movl %eax, (%rsp)
movl -0x50(%rbp), %eax
movl %eax, 0x8(%rsp)
movl -0x4c(%rbp), %eax
movl %r13d, 0x10(%rsp)
movl %r12d, 0x18(%rsp)
movl %r15d, 0x20(%rsp)
movl %r14d, 0x28(%rsp)
movl %ebx, 0x30(%rsp)
movl %r11d, 0x38(%rsp)
movl %r10d, 0x40(%rsp)
movl %eax, 0x48(%rsp)
movb $0x0, %al
callq 0x22a0
movq -0x48(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x48(%rbp)
jmp 0x819f8
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopw (%rax,%rax)