// File: /workspace/github_cpp_makefile_star2_O1/Luthaf[P]zeopp/networkio.cc
// Function: checkInputFile(char*)
bool checkInputFile(char * filename){
  string file(filename);
  string fileTypes [] = {".cuc", ".arc", ".cssr", ".obcssr", ".v1",".cif",".car",".dlp",".pdb"};
  int numTypes = 8;

  for(int i = 0; i < numTypes; i++){
    if(file.find(fileTypes[i]) != string::npos)
      return true;
  }

  cerr << "Invalid input filename " << filename << "\n" << "Exiting ..." << "\n";
//  exit(1);
  return false;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x148, %rsp            # imm = 0x148
movq %rdi, %rbx
movq %rsp, %rdi
leaq 0x20(%rsp), %rdx
movq %rbx, %rsi
callq 0x2f6b2
leaq 0x30(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c93a(%rip), %rsi    # 0x14fb4f
leaq 0x12c937(%rip), %rdx    # 0x14fb53
leaq 0x20(%rsp), %r15
movq %r15, %rdi
callq 0x2263c
leaq 0x40(%rsp), %r14
leaq 0x50(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c916(%rip), %rsi    # 0x14fb54
leaq 0x12c913(%rip), %rdx    # 0x14fb58
movq %r14, %rdi
callq 0x2263c
leaq 0x60(%rsp), %r14
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x13c22c(%rip), %rsi    # 0x15f48e
leaq 0x13c22a(%rip), %rdx    # 0x15f493
movq %r14, %rdi
callq 0x2263c
leaq 0x80(%rsp), %r14
leaq 0x90(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c8cd(%rip), %rsi    # 0x14fb59
leaq 0x12c8cd(%rip), %rdx    # 0x14fb60
movq %r14, %rdi
callq 0x2263c
leaq 0xa0(%rsp), %r14
leaq 0xb0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c8ab(%rip), %rsi    # 0x14fb61
leaq 0x12c8a7(%rip), %rdx    # 0x14fb64
movq %r14, %rdi
callq 0x2263c
leaq 0xc0(%rsp), %r14
leaq 0xd0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c885(%rip), %rsi    # 0x14fb65
leaq 0x12c882(%rip), %rdx    # 0x14fb69
movq %r14, %rdi
callq 0x2263c
leaq 0xe0(%rsp), %r14
leaq 0xf0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c860(%rip), %rsi    # 0x14fb6a
leaq 0x12c85d(%rip), %rdx    # 0x14fb6e
movq %r14, %rdi
callq 0x2263c
leaq 0x100(%rsp), %r14
leaq 0x110(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x12c83b(%rip), %rsi    # 0x14fb6f
leaq 0x12c838(%rip), %rdx    # 0x14fb73
movq %r14, %rdi
callq 0x2263c
leaq 0x120(%rsp), %r14
leaq 0x130(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x12c815(%rip), %rsi    # 0x14fb74
leaq 0x12c812(%rip), %rdx    # 0x14fb78
movq %r14, %rdi
callq 0x2263c
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rcx
movq %rsp, %rdi
xorl %edx, %edx
callq 0x4760
movb $0x1, %bpl
cmpq $-0x1, %rax
jne 0x23477
movq $-0x1, %r15
leaq 0x48(%rsp), %r13
movq %rsp, %r14
cmpq $0x6, %r15
je 0x233d0
movq -0x8(%r13), %rsi
movq (%r13), %rcx
movq %r14, %rdi
xorl %edx, %edx
callq 0x4760
incq %r15
addq $0x20, %r13
cmpq $-0x1, %rax
je 0x2339e
cmpq $0x7, %r15
setb %bpl
jmp 0x23477
incq %r15
cmpq $0x7, %r15
setb %bpl
movq 0x173c0e(%rip), %r14    # 0x196ff0
leaq 0x12c790(%rip), %rsi    # 0x14fb79
movl $0x17, %edx
movq %r14, %rdi
callq 0x44e0
testq %rbx, %rbx
je 0x23417
movq %rbx, %rdi
callq 0x41e0
movq 0x173be6(%rip), %rdi    # 0x196ff0
movq %rbx, %rsi
movq %rax, %rdx
callq 0x44e0
jmp 0x2342f
movq (%r14), %rax
movq -0x18(%rax), %rax
leaq (%r14,%rax), %rdi
movl 0x20(%r14,%rax), %esi
orl $0x1, %esi
callq 0x4710
movq 0x173bba(%rip), %rdi    # 0x196ff0
leaq 0x1320f1(%rip), %rsi    # 0x15552e
movl $0x1, %edx
callq 0x44e0
movq 0x173ba2(%rip), %rdi    # 0x196ff0
leaq 0x12c6ee(%rip), %rsi    # 0x14fb43
movl $0xb, %edx
callq 0x44e0
movq 0x173b8a(%rip), %rdi    # 0x196ff0
leaq 0x1320c1(%rip), %rsi    # 0x15552e
movl $0x1, %edx
callq 0x44e0
movq $-0x120, %rbx           # imm = 0xFEE0
movq -0x10(%r12), %rdi
cmpq %rdi, %r12
je 0x23494
movq (%r12), %rsi
incq %rsi
callq 0x4470
addq $-0x20, %r12
addq $0x20, %rbx
jne 0x2347e
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x234b9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x4470
movl %ebp, %eax
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x140(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x4a95
jmp 0x23527
jmp 0x234f2
jmp 0x234f2
jmp 0x234f2
jmp 0x234f2
jmp 0x234f2
jmp 0x234f2
jmp 0x234f2
movq %rax, %rbx
cmpq %r14, %r15
je 0x23527
addq $-0x10, %r14
leaq 0x20(%rsp), %r15
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x23517
movq (%r14), %rsi
incq %rsi
callq 0x4470
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %r15, %r14
movq %rax, %r14
jne 0x23503
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x23542
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x4470
movq %rbx, %rdi
callq 0x4780
movq %rax, %rbx
movq %r15, %r14
jmp 0x234f5