// File: /workspace/github_cpp_makefile_star2_O2/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 0x25657
movq %rdi, %rbx
movq 0x90(%rdi), %rsi
callq 0x25716
movq 0x1b0(%rbx), %rsi
movq 0x1b8(%rbx), %rax
subq %rsi, %rax
pushq $0x68
popq %rcx
cqto
idivq %rcx
cmpq $0x2, %rax
jb 0x25538
movb $0x0, -0x50(%rbp)
pushq $0x1
popq %rdi
callq 0xc7f0
movq 0x1b0(%rbx), %rsi
movq 0x1b8(%rbx), %r15
addq $0x68, %rsi
pushq $0x2
popq %r14
cmpq %r15, %rsi
je 0x25528
leaq 0x68(%rsi), %r12
movq %rbx, %rdi
movq %r14, %rdx
callq 0x257c0
movq %r12, %rsi
jmp 0x2550f
leaq -0x50(%rbp), %rdi
callq 0xc91c
movq 0x1b0(%rbx), %rsi
addq $0x40, %rsi
leaq -0x50(%rbp), %r14
movq %r14, %rdi
callq 0xdb42
cmpq $0x0, 0x8(%r14)
je 0x255e0
movq 0x18(%rbx), %rdi
cmpb $0x0, 0x35082(%rip)     # 0x5a5e0
jne 0x25591
movaps 0x17239(%rip), %xmm0    # 0x3c7a0
movups %xmm0, 0x350b1(%rip)    # 0x5a61f
movaps %xmm0, 0x3509b(%rip)    # 0x5a610
movaps %xmm0, 0x35084(%rip)    # 0x5a600
movaps %xmm0, 0x3506d(%rip)    # 0x5a5f0
movaps %xmm0, 0x35056(%rip)    # 0x5a5e0
movb $0x0, 0x3509e(%rip)     # 0x5a62f
leaq 0x35048(%rip), %rsi     # 0x5a5e0
callq 0xa3c0
leaq 0x1852f(%rip), %rsi     # 0x3dad3
movq %rax, %rdi
callq 0xa3c0
movb $0x0, -0x21(%rbp)
pushq $0x17
popq %rdi
callq 0xc7f0
movq 0x18(%rbx), %r14
leaq -0x50(%rbp), %rsi
movq %r14, %rdi
callq 0xbe1e
leaq 0x18504(%rip), %rsi     # 0x3dad3
movq %r14, %rdi
callq 0xa3c0
leaq -0x21(%rbp), %rdi
callq 0xc91c
movq 0x18(%rbx), %rdi
cmpb $0x0, 0x35045(%rip)     # 0x5a630
jne 0x2561e
movaps 0x171bc(%rip), %xmm0    # 0x3c7b0
movups %xmm0, 0x35074(%rip)    # 0x5a66f
movaps %xmm0, 0x3505e(%rip)    # 0x5a660
movaps %xmm0, 0x35047(%rip)    # 0x5a650
movaps %xmm0, 0x35030(%rip)    # 0x5a640
movaps %xmm0, 0x35019(%rip)    # 0x5a630
movb $0x0, 0x35061(%rip)     # 0x5a67f
leaq 0x3500b(%rip), %rsi     # 0x5a630
callq 0xa3c0
leaq 0x184a2(%rip), %rsi     # 0x3dad3
movq %rax, %rdi
callq 0xa3c0
movq %rax, %rdi
callq 0xa1d0
leaq -0x50(%rbp), %rdi
callq 0xa7d8
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x18131(%rip), %rdi     # 0x3d78f
leaq 0x173a3(%rip), %rsi     # 0x3ca08
leaq 0x18488(%rip), %rcx     # 0x3daf4
movl $0x2657, %edx           # imm = 0x2657
callq 0xa280
jmp 0x25686
movq %rax, %rbx
leaq -0x21(%rbp), %rdi
callq 0xc91c
jmp 0x25689
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0xa7d8
jmp 0x256a0
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0xc91c
movq %rbx, %rdi
callq 0xa6c0