// File: Laakeri[P]maxpre/src/main.cpp
// Function: parseTechniques(std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
string parseTechniques(map<string, string>& flags) {
	string techniques = "[bu]#[buvsrgc]";
	if (flags.count("techniques")) {
		techniques = flags["techniques"];
		cout<<"c Techniques "<<techniques<<endl;
		cerr<<"Techniques "<<techniques<<endl;
	}
	else {
		cout<<"c No -techniques= given, defaulting to "<<techniques<<endl;
		cerr<<"No -techniques= given, defaulting to "<<techniques<<endl;
	}
	return techniques;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, -0x88(%rbp)
movq %rdi, %rax
movq %rax, -0x90(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movb $0x0, -0x11(%rbp)
leaq -0x12(%rbp), %rdi
movq %rdi, -0x80(%rbp)
callq 0x4620
movq -0x88(%rbp), %rdi
movq -0x80(%rbp), %rdx
leaq 0x800cc(%rip), %rsi     # 0x85013
callq 0xa430
jmp 0x4f4e
leaq -0x12(%rbp), %rdi
callq 0x43f0
movq -0x10(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq -0x49(%rbp), %rdi
movq %rdi, -0x98(%rbp)
callq 0x4620
movq -0x98(%rbp), %rdx
leaq 0x821f7(%rip), %rsi     # 0x87177
leaq -0x48(%rbp), %rdi
callq 0xa430
jmp 0x4f8b
movq -0xa0(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xa5e0
movq %rax, -0xa8(%rbp)
jmp 0x4fa4
leaq -0x48(%rbp), %rdi
callq 0x4240
leaq -0x49(%rbp), %rdi
callq 0x43f0
movq -0xa8(%rbp), %rax
cmpq $0x0, %rax
je 0x5167
movq -0x10(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq -0x71(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0x4620
movq -0xb0(%rbp), %rdx
leaq 0x82187(%rip), %rsi     # 0x87177
leaq -0x70(%rbp), %rdi
callq 0xa430
jmp 0x4ffb
movq -0xb8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa4e0
movq %rax, -0xc0(%rbp)
jmp 0x5014
movq -0xc0(%rbp), %rsi
movq -0x88(%rbp), %rdi
callq 0x4060
jmp 0x5029
leaq -0x70(%rbp), %rdi
callq 0x4240
leaq -0x71(%rbp), %rdi
callq 0x43f0
movq 0xa9f86(%rip), %rdi     # 0xaefc8
leaq 0x7ffd9(%rip), %rsi     # 0x85022
callq 0x4380
movq %rax, -0xc8(%rbp)
jmp 0x5057
movq -0x88(%rbp), %rsi
movq -0xc8(%rbp), %rdi
callq 0x4370
movq %rax, -0xd0(%rbp)
jmp 0x5073
movq -0xd0(%rbp), %rdi
movq 0xa9f2f(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x5088
movq 0xa9f61(%rip), %rdi     # 0xaeff0
leaq 0x7ff8e(%rip), %rsi     # 0x85024
callq 0x4380
movq %rax, -0xd8(%rbp)
jmp 0x50a4
movq -0x88(%rbp), %rsi
movq -0xd8(%rbp), %rdi
callq 0x4370
movq %rax, -0xe0(%rbp)
jmp 0x50c0
movq -0xe0(%rbp), %rdi
movq 0xa9ee2(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x50d5
jmp 0x5203
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x12(%rbp), %rdi
callq 0x43f0
jmp 0x5235
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5117
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x4240
leaq -0x49(%rbp), %rdi
callq 0x43f0
jmp 0x5229
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5148
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x4240
leaq -0x71(%rbp), %rdi
callq 0x43f0
jmp 0x5229
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x5229
movq 0xa9e5a(%rip), %rdi     # 0xaefc8
leaq 0x7febb(%rip), %rsi     # 0x85030
callq 0x4380
movq %rax, -0xe8(%rbp)
jmp 0x5183
movq -0x88(%rbp), %rsi
movq -0xe8(%rbp), %rdi
callq 0x4370
movq %rax, -0xf0(%rbp)
jmp 0x519f
movq -0xf0(%rbp), %rdi
movq 0xa9e03(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x51b4
movq 0xa9e35(%rip), %rdi     # 0xaeff0
leaq 0x7fe70(%rip), %rsi     # 0x85032
callq 0x4380
movq %rax, -0xf8(%rbp)
jmp 0x51d0
movq -0x88(%rbp), %rsi
movq -0xf8(%rbp), %rdi
callq 0x4370
movq %rax, -0x100(%rbp)
jmp 0x51ec
movq -0x100(%rbp), %rdi
movq 0xa9db6(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x5201
jmp 0x5203
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0x5219
movq -0x88(%rbp), %rdi
callq 0x4240
movq -0x90(%rbp), %rax
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
movq -0x88(%rbp), %rdi
callq 0x4240
movq -0x20(%rbp), %rdi
callq 0x4610
nop