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

// 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 0x7ea65(%rip), %rsi     # 0x85364
leaq -0x30(%rbp), %rdi
callq 0xa430
jmp 0x690a
movq -0x208(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xa5e0
movq %rax, -0x210(%rbp)
jmp 0x6923
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
movq -0x210(%rbp), %rax
cmpq $0x0, %rax
je 0x6b92
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 0x7e9d8(%rip), %rsi     # 0x85364
leaq -0x1f0(%rbp), %rdi
callq 0xa430
jmp 0x699a
movq -0x220(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0xa4e0
movq %rax, -0x230(%rbp)
jmp 0x69b6
movq -0x230(%rbp), %rsi
movq -0x228(%rbp), %rdi
callq 0x4370
jmp 0x69cb
leaq -0x1f0(%rbp), %rdi
callq 0x4240
leaq -0x1f1(%rbp), %rdi
callq 0x43f0
leaq -0x1d0(%rbp), %rdi
leaq -0xc(%rbp), %rsi
callq 0x4230
jmp 0x69f5
movq 0xa85cc(%rip), %rdi     # 0xaefc8
leaq 0x7e96e(%rip), %rsi     # 0x85371
callq 0x4380
movq %rax, -0x238(%rbp)
jmp 0x6a11
movq -0x238(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, -0x240(%rbp)
jmp 0x6a29
movq -0x240(%rbp), %rdi
movq 0xa8579(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6a3e
movq 0xa85ab(%rip), %rdi     # 0xaeff0
leaq 0x7e927(%rip), %rsi     # 0x85373
callq 0x4380
movq %rax, -0x248(%rbp)
jmp 0x6a5a
movq -0x248(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, -0x250(%rbp)
jmp 0x6a72
movq -0x250(%rbp), %rdi
movq 0xa8530(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6a87
cmpl $0x0, -0xc(%rbp)
jle 0x6a9a
cmpl $0x3b9aca00, -0xc(%rbp) # imm = 0x3B9ACA00
jle 0x6b76
movq 0xa8527(%rip), %rdi     # 0xaefc8
leaq 0x7e8d9(%rip), %rsi     # 0x85381
callq 0x4380
movq %rax, -0x258(%rbp)
jmp 0x6ab6
movq -0x258(%rbp), %rdi
movq 0xa84ec(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6acb
movq 0xa851e(%rip), %rdi     # 0xaeff0
leaq 0x7e8a8(%rip), %rsi     # 0x85381
callq 0x4380
movq %rax, -0x260(%rbp)
jmp 0x6ae7
movq -0x260(%rbp), %rdi
movq 0xa84bb(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x6afc
xorl %edi, %edi
callq 0x4480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6b26
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 0x6be2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6b5a
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 0x6b84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6b84
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x6bd6
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x6be2
movq 0xa842f(%rip), %rdi     # 0xaefc8
leaq 0x7e7fb(%rip), %rsi     # 0x8539b
callq 0x4380
movq %rax, %rdi
movq 0xa8401(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa8435(%rip), %rdi     # 0xaeff0
leaq 0x7e7db(%rip), %rsi     # 0x8539d
callq 0x4380
movq %rax, %rdi
movq 0xa83df(%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)