// File: /workspace/github_cpp_makefile_star2_O3/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 0x3a7ce
movl %esi, %eax
leaq 0x3eaef(%rip), %rcx     # 0x791d0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x41efe(%rip), %rdi     # 0x7c5ef
jmp 0x3a754
leaq 0x41f38(%rip), %rdi     # 0x7c632
jmp 0x3a754
leaq 0x41f1a(%rip), %rdi     # 0x7c61d
jmp 0x3a754
leaq 0x41efc(%rip), %rdi     # 0x7c608
jmp 0x3a754
leaq 0x41eec(%rip), %rdi     # 0x7c601
jmp 0x3a754
leaq 0x41ef1(%rip), %rdi     # 0x7c60f
jmp 0x3a754
leaq 0x41f04(%rip), %rdi     # 0x7c62b
jmp 0x3a754
leaq 0x41ec3(%rip), %rdi     # 0x7c5f3
jmp 0x3a754
leaq 0x41eeb(%rip), %rdi     # 0x7c624
jmp 0x3a754
leaq 0x41eb8(%rip), %rdi     # 0x7c5fa
jmp 0x3a754
leaq 0x41ecb(%rip), %rdi     # 0x7c616
jmp 0x3a754
leaq 0x41ee5(%rip), %rdi     # 0x7c639
addq $0x48, %rsp
popq %rbx
popq %rbp
jmp 0x3a86c
leaq -0x20(%rbp), %rbx
movq %rbx, %rdi
callq 0x2d4e2
leaq 0x40763(%rip), %rax     # 0x7aed5
leaq -0x50(%rbp), %rsi
movq %rax, (%rsi)
movq $0x27da, 0x8(%rsi)      # imm = 0x27DA
movq 0x10(%rbx), %rdi
callq 0x22e17
movq -0x10(%rbp), %rdi
leaq 0x409d6(%rip), %rsi     # 0x7b16b
movl $0x19, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rdi
leaq 0x41e96(%rip), %rsi     # 0x7c640
movl $0xc, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rsi
addq $0x8, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1b7f0
leaq -0x40(%rbp), %rdi
callq 0x23e01
leaq -0x20(%rbp), %rbx
movq %rbx, %rdi
callq 0x2d4e2
leaq 0x406f4(%rip), %rax     # 0x7aed5
leaq -0x50(%rbp), %rsi
movq %rax, (%rsi)
movq $0x27db, 0x8(%rsi)      # imm = 0x27DB
movq 0x10(%rbx), %rdi
callq 0x22e17
movq -0x10(%rbp), %rdi
leaq 0x40967(%rip), %rsi     # 0x7b16b
movl $0x19, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rdi
leaq 0x41e34(%rip), %rsi     # 0x7c64d
movl $0x18, %edx
callq 0x1b5e0
movq -0x10(%rbp), %rsi
addq $0x8, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1b7f0
leaq -0x40(%rbp), %rdi
callq 0x23e01
jmp 0x3a83f
movq %rax, %rbx
leaq -0x30(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3a85b
callq 0x1b4d0
jmp 0x3a85b
jmp 0x3a858
movq %rax, %rbx
leaq -0x20(%rbp), %rdi
callq 0x2d528
movq %rbx, %rdi
callq 0x1b910