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

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x260, %rsp            # imm = 0x260
movq %rdi, -0x8(%rbp)
movl $0x0, -0xc(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq -0x31(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0x4620
movq -0x200(%rbp), %rdx
leaq 0x7e79d(%rip), %rsi     # 0x853cc
leaq -0x30(%rbp), %rdi
callq 0xa430
jmp 0x6c3a
movq -0x208(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xa5e0
movq %rax, -0x210(%rbp)
jmp 0x6c53
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
movq -0x210(%rbp), %rax
cmpq $0x0, %rax
je 0x6ec2
leaq -0x1d0(%rbp), %rdi
callq 0x42b0
leaq -0x1c0(%rbp), %rax
movq %rax, -0x228(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x220(%rbp)
leaq -0x1f1(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0x4620
movq -0x218(%rbp), %rdx
leaq 0x7e710(%rip), %rsi     # 0x853cc
leaq -0x1f0(%rbp), %rdi
callq 0xa430
jmp 0x6cca
movq -0x220(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0xa4e0
movq %rax, -0x230(%rbp)
jmp 0x6ce6
movq -0x230(%rbp), %rsi
movq -0x228(%rbp), %rdi
callq 0x4370
jmp 0x6cfb
leaq -0x1f0(%rbp), %rdi
callq 0x4240
leaq -0x1f1(%rbp), %rdi
callq 0x43f0
leaq -0x1d0(%rbp), %rdi
leaq -0xc(%rbp), %rsi
callq 0x4230
jmp 0x6d25
movq 0xa829c(%rip), %rdi     # 0xaefc8
leaq 0x7e6a7(%rip), %rsi     # 0x853da
callq 0x4380
movq %rax, -0x238(%rbp)
jmp 0x6d41
movq -0x238(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, -0x240(%rbp)
jmp 0x6d59
movq -0x240(%rbp), %rdi
movq 0xa8249(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6d6e
movq 0xa827b(%rip), %rdi     # 0xaeff0
leaq 0x7e660(%rip), %rsi     # 0x853dc
callq 0x4380
movq %rax, -0x248(%rbp)
jmp 0x6d8a
movq -0x248(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, -0x250(%rbp)
jmp 0x6da2
movq -0x250(%rbp), %rdi
movq 0xa8200(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6db7
cmpl $0x0, -0xc(%rbp)
jle 0x6dca
cmpl $0x3b9aca00, -0xc(%rbp) # imm = 0x3B9ACA00
jle 0x6ea6
movq 0xa81f7(%rip), %rdi     # 0xaefc8
leaq 0x7e613(%rip), %rsi     # 0x853eb
callq 0x4380
movq %rax, -0x258(%rbp)
jmp 0x6de6
movq -0x258(%rbp), %rdi
movq 0xa81bc(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6dfb
movq 0xa81ee(%rip), %rdi     # 0xaeff0
leaq 0x7e5e2(%rip), %rsi     # 0x853eb
callq 0x4380
movq %rax, -0x260(%rbp)
jmp 0x6e17
movq -0x260(%rbp), %rdi
movq 0xa818b(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6e2c
xorl %edi, %edi
callq 0x4480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6e56
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 0x6f12
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6e8a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x4240
leaq -0x1f1(%rbp), %rdi
callq 0x43f0
jmp 0x6eb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6eb4
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x6f06
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x6f12
movq 0xa80ff(%rip), %rdi     # 0xaefc8
leaq 0x7e536(%rip), %rsi     # 0x85406
callq 0x4380
movq %rax, %rdi
movq 0xa80d1(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa8105(%rip), %rdi     # 0xaeff0
leaq 0x7e516(%rip), %rsi     # 0x85408
callq 0x4380
movq %rax, %rdi
movq 0xa80af(%rip), %rsi     # 0xaefb0
callq 0x43d0
movl -0xc(%rbp), %eax
addq $0x260, %rsp            # imm = 0x260
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x4610
nopl (%rax,%rax)