// File: /workspace/github_cpp_makefile_star2_O1/xelia-it[P]mustache/third-party/catch2/single_include/catch2/catch.hpp
// Function: Catch::(anonymous namespace)::PosixColourImpl::use(Catch::Colour::Code)
void use( Colour::Code _colourCode ) override {
            switch( _colourCode ) {
                case Colour::None:
                case Colour::White:     return setColour( "[0m" );
                case Colour::Red:       return setColour( "[0;31m" );
                case Colour::Green:     return setColour( "[0;32m" );
                case Colour::Blue:      return setColour( "[0;34m" );
                case Colour::Cyan:      return setColour( "[0;36m" );
                case Colour::Yellow:    return setColour( "[0;33m" );
                case Colour::Grey:      return setColour( "[1;30m" );

                case Colour::LightGrey:     return setColour( "[0;37m" );
                case Colour::BrightRed:     return setColour( "[1;31m" );
                case Colour::BrightGreen:   return setColour( "[1;32m" );
                case Colour::BrightWhite:   return setColour( "[1;37m" );
                case Colour::BrightYellow:  return setColour( "[1;33m" );

                case Colour::Bright: CATCH_INTERNAL_ERROR( "not a colour" );
                default: CATCH_INTERNAL_ERROR( "Unknown colour requested" );
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x48, %rsp
cmpl $0x17, %esi
ja 0x3a9a6
movl %esi, %eax
leaq 0x3f917(%rip), %rcx     # 0x7a1d0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x42d26(%rip), %rdi     # 0x7d5ef
jmp 0x3a92c
leaq 0x42d60(%rip), %rdi     # 0x7d632
jmp 0x3a92c
leaq 0x42d42(%rip), %rdi     # 0x7d61d
jmp 0x3a92c
leaq 0x42d24(%rip), %rdi     # 0x7d608
jmp 0x3a92c
leaq 0x42d14(%rip), %rdi     # 0x7d601
jmp 0x3a92c
leaq 0x42d19(%rip), %rdi     # 0x7d60f
jmp 0x3a92c
leaq 0x42d2c(%rip), %rdi     # 0x7d62b
jmp 0x3a92c
leaq 0x42ceb(%rip), %rdi     # 0x7d5f3
jmp 0x3a92c
leaq 0x42d13(%rip), %rdi     # 0x7d624
jmp 0x3a92c
leaq 0x42ce0(%rip), %rdi     # 0x7d5fa
jmp 0x3a92c
leaq 0x42cf3(%rip), %rdi     # 0x7d616
jmp 0x3a92c
leaq 0x42d0d(%rip), %rdi     # 0x7d639
addq $0x48, %rsp
popq %rbx
popq %rbp
jmp 0x3aa44
leaq -0x20(%rbp), %rbx
movq %rbx, %rdi
callq 0x2d4f4
leaq 0x4158b(%rip), %rax     # 0x7bed5
leaq -0x50(%rbp), %rsi
movq %rax, (%rsi)
movq $0x27da, 0x8(%rsi)      # imm = 0x27DA
movq 0x10(%rbx), %rdi
callq 0x22e23
movq -0x10(%rbp), %rdi
leaq 0x417fe(%rip), %rsi     # 0x7c16b
movl $0x19, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rdi
leaq 0x42cbe(%rip), %rsi     # 0x7d640
movl $0xc, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rsi
addq $0x8, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1b7f0
leaq -0x40(%rbp), %rdi
callq 0x23e3c
leaq -0x20(%rbp), %rbx
movq %rbx, %rdi
callq 0x2d4f4
leaq 0x4151c(%rip), %rax     # 0x7bed5
leaq -0x50(%rbp), %rsi
movq %rax, (%rsi)
movq $0x27db, 0x8(%rsi)      # imm = 0x27DB
movq 0x10(%rbx), %rdi
callq 0x22e23
movq -0x10(%rbp), %rdi
leaq 0x4178f(%rip), %rsi     # 0x7c16b
movl $0x19, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rdi
leaq 0x42c5c(%rip), %rsi     # 0x7d64d
movl $0x18, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rsi
addq $0x8, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1b7f0
leaq -0x40(%rbp), %rdi
callq 0x23e3c
jmp 0x3aa17
movq %rax, %rbx
leaq -0x30(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3aa33
callq 0x1b4d0
jmp 0x3aa33
jmp 0x3aa30
movq %rax, %rbx
leaq -0x20(%rbp), %rdi
callq 0x2d53a
movq %rbx, %rdi
callq 0x1b910