// File: /workspace/github_cpp_makefile_star2_O1/TsukiGva2[P]Blade-lang/blade.cpp
// Function: if(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>)
std::string _if(std::vector<std::string> args){
		if (args.size() < 3){
			return "too few arguments for if";
		}
        if (std::stoi(args[0])){
          return lc_eval("[_xfun \"" + args[1] + "\"]");
        } else {
          return lc_eval("[_xfun \"" + args[2] + "\"]");
        }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdi, %rbx
movq (%rsi), %rax
movq 0x8(%rsi), %rcx
subq %rax, %rcx
cmpq $0x40, %rcx
ja 0x1a566
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
leaq 0xbfd13(%rip), %rsi     # 0xda265
leaq 0xbfd24(%rip), %rdx     # 0xda27d
movq %rbx, %rdi
callq 0x1bccc
jmp 0x1a6f8
movq %rsi, %r15
movq (%rax), %r12
callq 0x154c0
movq %rax, %r14
movl (%rax), %eax
movl %eax, -0x2c(%rbp)
movl $0x0, (%r14)
leaq -0x50(%rbp), %r13
movq %r12, %rdi
movq %r13, %rsi
movl $0xa, %edx
callq 0x15400
cmpq %r12, (%r13)
je 0x1a70a
movslq %eax, %rcx
cmpq %rax, %rcx
jne 0x1a716
movl (%r14), %ecx
cmpl $0x22, %ecx
je 0x1a716
testl %ecx, %ecx
jne 0x1a5c0
movl -0x2c(%rbp), %ecx
movl %ecx, (%r14)
testl %eax, %eax
je 0x1a614
movq (%r15), %rdx
addq $0x20, %rdx
leaq 0xbfc01(%rip), %rsi     # 0xda1d3
leaq -0x50(%rbp), %r14
movq %r14, %rdi
callq 0x1b851
leaq 0xbfbf7(%rip), %rsi     # 0xda1dc
movq %r14, %rdi
callq 0xa9d30
leaq -0x80(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1a661
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x1a668
movq (%r15), %rdx
addq $0x40, %rdx
leaq 0xbfbb1(%rip), %rsi     # 0xda1d3
leaq -0x50(%rbp), %r14
movq %r14, %rdi
callq 0x1b851
leaq 0xbfba7(%rip), %rsi     # 0xda1dc
movq %r14, %rdi
callq 0xa9d30
leaq -0x60(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1a6a0
movq %rdx, -0x70(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x60(%rbp)
jmp 0x1a6a7
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq -0x90(%rbp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
callq 0x18749
movq -0x90(%rbp), %rdi
cmpq %r14, %rdi
je 0x1a6df
movq -0x80(%rbp), %rsi
jmp 0x1a6d7
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq -0x70(%rbp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
callq 0x18749
movq -0x70(%rbp), %rdi
cmpq %r14, %rdi
je 0x1a6df
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x2b980
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a6f8
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x2b980
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xbfbd9(%rip), %rdi     # 0xda2ea
callq 0x17262
leaq 0xbfbcd(%rip), %rdi     # 0xda2ea
callq 0x17312
movq %rax, %rbx
movq -0x70(%rbp), %rdi
cmpq %r14, %rdi
je 0x1a756
movq -0x60(%rbp), %rsi
jmp 0x1a749
jmp 0x1a753
movq %rax, %rbx
movq -0x90(%rbp), %rdi
cmpq %r14, %rdi
je 0x1a756
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x2b980
jmp 0x1a756
movq %rax, %rbx
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a780
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x2b980
jmp 0x1a780
movq %rax, %rbx
cmpl $0x0, (%r14)
jne 0x1a780
movl -0x2c(%rbp), %eax
movl %eax, (%r14)
movq %rbx, %rdi
callq 0xd6fc0