// File: /workspace/github_cpp_makefile_star2_O2/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 %r14
pushq %rbx
subq $0x1b8, %rsp            # imm = 0x1B8
movq %rdi, %rbx
andl $0x0, 0x8(%rsp)
leaq 0x29c32(%rip), %rsi     # 0x2e3d8
leaq 0x30(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x6788
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x682a
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x3130
testq %r14, %r14
je 0x4898
leaq 0x30(%rsp), %rdi
callq 0x3210
leaq 0x29bef(%rip), %rsi     # 0x2e3d8
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x40(%rsp), %rdi
movq %rax, %rsi
callq 0x3290
leaq 0x10(%rsp), %rdi
callq 0x3130
leaq 0x30(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x31a0
movq 0x3f796(%rip), %rdi     # 0x43fc8
leaq 0x29bad(%rip), %rsi     # 0x2e3e6
callq 0x32a0
movl 0x8(%rsp), %esi
movq %rax, %rdi
callq 0x3480
movq %rax, %rdi
callq 0x3140
movq 0x3f797(%rip), %rdi     # 0x43ff0
leaq 0x29b88(%rip), %rsi     # 0x2e3e8
callq 0x32a0
movl 0x8(%rsp), %esi
movq %rax, %rdi
callq 0x3480
movq %rax, %rdi
callq 0x3140
movl $0xc46535ff, %eax       # imm = 0xC46535FF
movl 0x8(%rsp), %ecx
addl %eax, %ecx
cmpl %eax, %ecx
jbe 0x48db
leaq 0x30(%rsp), %rdi
callq 0x3230
movl 0x8(%rsp), %eax
jmp 0x48d0
movq 0x3f729(%rip), %rdi     # 0x43fc8
leaq 0x29b6c(%rip), %rsi     # 0x2e412
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x3f736(%rip), %rdi     # 0x43ff0
leaq 0x29b53(%rip), %rsi     # 0x2e414
callq 0x32a0
movq %rax, %rdi
callq 0x3140
xorl %eax, %eax
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r14
retq
movq 0x3f6e6(%rip), %rdi     # 0x43fc8
leaq 0x29b0e(%rip), %rsi     # 0x2e3f7
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x3f6f3(%rip), %rdi     # 0x43ff0
leaq 0x29af3(%rip), %rsi     # 0x2e3f7
callq 0x32a0
movq %rax, %rdi
callq 0x3140
xorl %edi, %edi
callq 0x3340
jmp 0x493d
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x3130
jmp 0x494a
movq %rax, %rbx
jmp 0x494a
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x4940
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x3230
movq %rbx, %rdi
callq 0x3490