// File: /workspace/github_cpp_makefile_star2_O3/madpilot[P]mDNSResolver/test/catch.h
// Function: Catch::ConsoleReporter::printTestCaseAndSectionHeader()
void printTestCaseAndSectionHeader() {
            assert( !m_sectionStack.empty() );
            printOpenHeader( currentTestCaseInfo->name );

            if( m_sectionStack.size() > 1 ) {
                Colour colourGuard( Colour::Headers );

                std::vector<SectionInfo>::const_iterator
                    it = m_sectionStack.begin()+1, // Skip first section (test case)
                    itEnd = m_sectionStack.end();
                for( ; it != itEnd; ++it )
                    printHeaderString( it->name, 2 );
            }

            SourceLineInfo lineInfo = m_sectionStack.front().lineInfo;

            if( !lineInfo.empty() ){
                stream << getLineOfChars<'-'>() << "\n";
                Colour colourGuard( Colour::FileName );
                stream << lineInfo << "\n";
            }
            stream << getLineOfChars<'.'>() << "\n" << std::endl;
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq 0x1b0(%rdi), %rax
cmpq 0x1b8(%rdi), %rax
je 0x2cf56
movq %rdi, %rbx
movq 0x90(%rdi), %rsi
callq 0x2d038
movq 0x1b0(%rbx), %r15
movq 0x1b8(%rbx), %rax
subq %r15, %rax
sarq $0x3, %rax
movabsq $0x4ec4ec4ec4ec4ec5, %rcx # imm = 0x4EC4EC4EC4EC4EC5
imulq %rax, %rcx
cmpq $0x2, %rcx
jb 0x2cdca
movb $0x0, -0x50(%rbp)
movl $0x1, %edi
callq 0xd44a
movq 0x1b0(%rbx), %rsi
movq 0x1b8(%rbx), %r14
addq $0x68, %rsi
cmpq %r14, %rsi
je 0x2cdbc
leaq 0x68(%rsi), %r15
movl $0x2, %edx
movq %rbx, %rdi
callq 0x2d108
movq %r15, %rsi
jmp 0x2cda1
xorl %edi, %edi
callq 0xd44a
movq 0x1b0(%rbx), %r15
leaq -0x40(%rbp), %r12
movq %r12, -0x10(%r12)
movq 0x40(%r15), %rsi
movq 0x48(%r15), %rdx
addq %rsi, %rdx
leaq -0x50(%rbp), %r14
movq %r14, %rdi
callq 0x2feea
movq 0x60(%r15), %rax
movq %rax, 0x20(%r14)
cmpq $0x0, 0x8(%r14)
je 0x2cea5
movq 0x18(%rbx), %r14
cmpb $0x0, 0x3b7c8(%rip)     # 0x685d0
jne 0x2ce3b
movaps 0x1f24f(%rip), %xmm0    # 0x4c060
movups %xmm0, 0x3b7f7(%rip)    # 0x6860f
movaps %xmm0, 0x3b7e1(%rip)    # 0x68600
movaps %xmm0, 0x3b7ca(%rip)    # 0x685f0
movaps %xmm0, 0x3b7b3(%rip)    # 0x685e0
movaps %xmm0, 0x3b79c(%rip)    # 0x685d0
movb $0x0, 0x3b7e4(%rip)     # 0x6861f
leaq 0x3b78e(%rip), %r15     # 0x685d0
movq %r15, %rdi
callq 0xa180
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0xa430
leaq 0x20c78(%rip), %rsi     # 0x4dad7
movl $0x1, %edx
movq %r14, %rdi
callq 0xa430
movb $0x0, -0x21(%rbp)
movl $0x17, %edi
callq 0xd44a
movq 0x18(%rbx), %r14
leaq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0xc6ae
leaq 0x20c46(%rip), %rsi     # 0x4dad7
movl $0x1, %edx
movq %r14, %rdi
callq 0xa430
xorl %edi, %edi
callq 0xd44a
movq 0x18(%rbx), %rbx
cmpb $0x0, 0x3b770(%rip)     # 0x68620
jne 0x2cee3
movaps 0x1f1b7(%rip), %xmm0    # 0x4c070
movups %xmm0, 0x3b79f(%rip)    # 0x6865f
movaps %xmm0, 0x3b789(%rip)    # 0x68650
movaps %xmm0, 0x3b772(%rip)    # 0x68640
movaps %xmm0, 0x3b75b(%rip)    # 0x68630
movaps %xmm0, 0x3b744(%rip)    # 0x68620
movb $0x0, 0x3b78c(%rip)     # 0x6866f
leaq 0x3b736(%rip), %r14     # 0x68620
movq %r14, %rdi
callq 0xa180
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0xa430
leaq 0x20bd0(%rip), %rsi     # 0x4dad7
movl $0x1, %edx
movq %rbx, %rdi
callq 0xa430
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xa380
movsbl %al, %esi
movq %rbx, %rdi
callq 0xa040
movq %rax, %rdi
callq 0xa270
movq -0x50(%rbp), %rdi
cmpq %r12, %rdi
je 0x2cf49
callq 0xa350
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x20836(%rip), %rdi     # 0x4d793
leaq 0x1faa8(%rip), %rsi     # 0x4ca0c
leaq 0x20b8d(%rip), %rcx     # 0x4daf8
movl $0x2657, %edx           # imm = 0x2657
callq 0xa240
jmp 0x2cf77
movq %rax, %rdi
callq 0x14062
jmp 0x2cf8f
movq %rax, %rbx
leaq -0x21(%rbp), %rdi
callq 0xd4c2
jmp 0x2cf92
movq %rax, %rbx
movq -0x50(%rbp), %rdi
cmpq %r12, %rdi
je 0x2cfae
callq 0xa350
jmp 0x2cfae
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0xd4c2
movq %rbx, %rdi
callq 0xa6d0