// File: bobverity[P]MavericK/readIn.cpp
// Function: readArgument(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, globals&, int, char const**, int)
void readArgument(string argName, globals &globals, int argc, const char * argv[], int i) {
    if (string(argv[i])=="-"+argName) {
        if (i+1<argc) {
            globals.parameterStrings[argName] = pair<string,int>(argv[i+1],2);
        } else {
            cerr << "Error: there was no argument to the "+argName+string(" option\n");
            exit(1);
        }
    }
}

// Assembly:
subq $0x148, %rsp            # imm = 0x148
movq %rdi, 0x18(%rsp)
movq %rdi, 0x140(%rsp)
movq %rsi, 0x138(%rsp)
movl %edx, 0x134(%rsp)
movq %rcx, 0x128(%rsp)
movl %r8d, 0x124(%rsp)
movq 0x128(%rsp), %rax
movslq 0x124(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0x20(%rsp)
leaq 0xff(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0x4740
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
leaq 0x100(%rsp), %rdi
callq 0x4580
jmp 0x400a7
movq 0x18(%rsp), %rdx
leaq 0x1ce64(%rip), %rsi     # 0x5cf17
leaq 0xc8(%rsp), %rdi
callq 0x22950
jmp 0x400c2
leaq 0x100(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x4fd80
movb %al, 0x17(%rsp)
leaq 0xc8(%rsp), %rdi
callq 0x4270
leaq 0x100(%rsp), %rdi
callq 0x4270
leaq 0xff(%rsp), %rdi
callq 0x4490
movb 0x17(%rsp), %al
testb $0x1, %al
jne 0x4010f
jmp 0x40310
movl 0x124(%rsp), %eax
addl $0x1, %eax
cmpl 0x134(%rsp), %eax
jge 0x4020e
movq 0x128(%rsp), %rax
movslq 0x124(%rsp), %rcx
leaq 0x8(%rax,%rcx,8), %rsi
movl $0x2, 0x9c(%rsp)
leaq 0xa0(%rsp), %rdi
leaq 0x9c(%rsp), %rdx
callq 0x4fef0
movq 0x18(%rsp), %rsi
movq 0x138(%rsp), %rdi
addq $0x2b70, %rdi           # imm = 0x2B70
callq 0x4ff80
movq %rax, 0x8(%rsp)
jmp 0x4017b
movq 0x8(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
callq 0x2b1a0
leaq 0xa0(%rsp), %rdi
callq 0x2b1e0
jmp 0x4030e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xf0(%rsp)
movl %eax, 0xec(%rsp)
jmp 0x401d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xf0(%rsp)
movl %eax, 0xec(%rsp)
leaq 0x100(%rsp), %rdi
callq 0x4270
leaq 0xff(%rsp), %rdi
callq 0x4490
jmp 0x40318
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xf0(%rsp)
movl %eax, 0xec(%rsp)
leaq 0xa0(%rsp), %rdi
callq 0x2b1e0
jmp 0x40318
movq 0x18(%rsp), %rdx
leaq 0x1ccb8(%rip), %rsi     # 0x5ced2
leaq 0x58(%rsp), %rdi
callq 0x22950
leaq 0x37(%rsp), %rdi
movq %rdi, (%rsp)
callq 0x4740
movq (%rsp), %rdx
leaq 0x1ccba(%rip), %rsi     # 0x5cef7
leaq 0x38(%rsp), %rdi
callq 0x4580
jmp 0x40249
leaq 0x78(%rsp), %rdi
leaq 0x58(%rsp), %rsi
leaq 0x38(%rsp), %rdx
callq 0xc9f0
jmp 0x4025f
movq 0x2cd8a(%rip), %rdi     # 0x6cff0
leaq 0x78(%rsp), %rsi
callq 0x43e0
jmp 0x40272
leaq 0x78(%rsp), %rdi
callq 0x4270
leaq 0x38(%rsp), %rdi
callq 0x4270
leaq 0x37(%rsp), %rdi
callq 0x4490
leaq 0x58(%rsp), %rdi
callq 0x4270
movl $0x1, %edi
callq 0x44f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xf0(%rsp)
movl %eax, 0xec(%rsp)
jmp 0x402f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xf0(%rsp)
movl %eax, 0xec(%rsp)
jmp 0x402ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0xf0(%rsp)
movl %eax, 0xec(%rsp)
leaq 0x78(%rsp), %rdi
callq 0x4270
leaq 0x38(%rsp), %rdi
callq 0x4270
leaq 0x37(%rsp), %rdi
callq 0x4490
leaq 0x58(%rsp), %rdi
callq 0x4270
jmp 0x40318
jmp 0x40310
addq $0x148, %rsp            # imm = 0x148
retq
movq 0xf0(%rsp), %rdi
callq 0x4730
nopw %cs:(%rax,%rax)