// File: Laakeri[P]maxpre/src/main.cpp
// Function: parseVerb(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>>>>>&)
int parseVerb(map<string, string>& flags) {
	int verb = 1;
	if (flags.count("verb")) {
		if (flags["verb"] == "0") {
			verb = 0;
		}
		else if (flags["verb"] == "1") {
			verb = 1;
		}
		else {
			cout<<"Invalid verb flag"<<endl;
			cerr<<"Invalid verb flag"<<endl;
			exit(0);
		}
		cout<<"c Verb "<<verb<<endl;
		cerr<<"Verb "<<verb<<endl;
	}
	else {
		cout<<"c No -verb given, defaulting to 1"<<endl;
		cerr<<"No -verb given, defaulting to 1"<<endl;
	}
	return verb;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0x8(%rbp)
movl $0x1, -0xc(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xa8(%rbp)
leaq -0x31(%rbp), %rdi
movq %rdi, -0xa0(%rbp)
callq 0x4620
movq -0xa0(%rbp), %rdx
leaq 0x7e4d9(%rip), %rsi     # 0x85438
leaq -0x30(%rbp), %rdi
callq 0xa430
jmp 0x6f6a
movq -0xa8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xa5e0
movq %rax, -0xb0(%rbp)
jmp 0x6f83
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
movq -0xb0(%rbp), %rax
cmpq $0x0, %rax
je 0x721b
movq -0x8(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq -0x69(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0x4620
movq -0xb8(%rbp), %rdx
leaq 0x7e469(%rip), %rsi     # 0x85438
leaq -0x68(%rbp), %rdi
callq 0xa430
jmp 0x6fda
movq -0xc0(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0xa4e0
movq %rax, -0xc8(%rbp)
jmp 0x6ff3
movq -0xc8(%rbp), %rdi
leaq 0x80c21(%rip), %rsi     # 0x87c22
callq 0xa640
movb %al, -0xc9(%rbp)
jmp 0x700e
leaq -0x68(%rbp), %rdi
callq 0x4240
leaq -0x69(%rbp), %rdi
callq 0x43f0
movb -0xc9(%rbp), %al
testb $0x1, %al
jne 0x702c
jmp 0x709a
movl $0x0, -0xc(%rbp)
jmp 0x71bf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x705b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
jmp 0x726b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x708c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x4240
leaq -0x69(%rbp), %rdi
callq 0x43f0
jmp 0x726b
movq -0x8(%rbp), %rax
movq %rax, -0xe0(%rbp)
leaq -0x91(%rbp), %rdi
movq %rdi, -0xd8(%rbp)
callq 0x4620
movq -0xd8(%rbp), %rdx
leaq 0x7e372(%rip), %rsi     # 0x85438
leaq -0x90(%rbp), %rdi
callq 0xa430
jmp 0x70d4
movq -0xe0(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0xa4e0
movq %rax, -0xe8(%rbp)
jmp 0x70f0
movq -0xe8(%rbp), %rdi
leaq 0x7f7f3(%rip), %rsi     # 0x868f1
callq 0xa640
movb %al, -0xe9(%rbp)
jmp 0x710b
leaq -0x90(%rbp), %rdi
callq 0x4240
leaq -0x91(%rbp), %rdi
callq 0x43f0
movb -0xe9(%rbp), %al
testb $0x1, %al
jne 0x712f
jmp 0x7172
movl $0x1, -0xc(%rbp)
jmp 0x71bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x7161
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x4240
leaq -0x91(%rbp), %rdi
callq 0x43f0
jmp 0x726b
movq 0xa7e4f(%rip), %rdi     # 0xaefc8
leaq 0x7e2bd(%rip), %rsi     # 0x8543d
callq 0x4380
movq %rax, %rdi
movq 0xa7e21(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa7e55(%rip), %rdi     # 0xaeff0
leaq 0x7e29b(%rip), %rsi     # 0x8543d
callq 0x4380
movq %rax, %rdi
movq 0xa7dff(%rip), %rsi     # 0xaefb0
callq 0x43d0
xorl %edi, %edi
callq 0x4480
jmp 0x71bf
movq 0xa7e02(%rip), %rdi     # 0xaefc8
leaq 0x7e282(%rip), %rsi     # 0x8544f
callq 0x4380
movq %rax, %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, %rdi
movq 0xa7dc9(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa7dfd(%rip), %rdi     # 0xaeff0
leaq 0x7e257(%rip), %rsi     # 0x85451
callq 0x4380
movq %rax, %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, %rdi
movq 0xa7d9c(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x725f
movq 0xa7da6(%rip), %rdi     # 0xaefc8
leaq 0x7e22e(%rip), %rsi     # 0x85457
callq 0x4380
movq %rax, %rdi
movq 0xa7d78(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa7dac(%rip), %rdi     # 0xaeff0
leaq 0x7e20e(%rip), %rsi     # 0x85459
callq 0x4380
movq %rax, %rdi
movq 0xa7d56(%rip), %rsi     # 0xaefb0
callq 0x43d0
movl -0xc(%rbp), %eax
addq $0xf0, %rsp
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x4610
nopw %cs:(%rax,%rax)