// File: /workspace/github_c_makefile_star2_O2/OstCollector[P]config2c/config2c.c
// Function: parse_opts
int parse_opts(int argc, char **argv)
{
	int c, opt_index;
	while (1) {
		c = getopt_long(argc, argv, "", opts, &opt_index);
		if (c == -1) { /* no more args */
			break;
		} else if (c == 0) {
			switch (opt_index) {
				ARGCASE(0, spec_path);
				ARGCASE(1, prim_path);
				ARGCASE(2, prelude_path);
				ARGCASE(3, hdr_path);
				ARGCASE(4, src_path);
				ARGCASE(5, include_guard);
			case 6:
				test_default = 1;
				break;
			case 7:
				do_help = 1;
				break;
			case 8:
				do_version = 1;
				break;
			}
		} else {
			ERR("unknown argument: %s\n", argv[optind - 1]);
		}
	}
	if (do_help || do_version) {
		return 0;
	}
	ARGDEFINED(spec_path);
	ARGDEFINED(prim_path);
	ARGDEFINED(prelude_path);
	ARGDEFINED(hdr_path);
	ARGDEFINED(src_path);
	ARGDEFINED(include_guard);
	return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movl %edi, %r14d
leaq 0xed27(%rip), %r12      # 0x110f0
leaq -0x2c(%rbp), %r13
leaq 0x8c3c(%rip), %r15      # 0xb010
movl %r14d, %edi
movq %rbx, %rsi
leaq 0x9da7(%rip), %rdx      # 0xc188
movq %r12, %rcx
movq %r13, %r8
callq 0x20a0
testl %eax, %eax
jne 0x2505
movl -0x2c(%rbp), %eax
cmpq $0x8, %rax
ja 0x23d4
movslq (%r15,%rax,4), %rax
addq %r15, %rax
jmpq *%rax
cmpq $0x0, 0xee52(%rip)      # 0x11260
jne 0x25ef
movq 0xebb5(%rip), %rax      # 0x10fd0
movq (%rax), %rax
movq %rax, 0xee3b(%rip)      # 0x11260
jmp 0x23d4
cmpq $0x0, 0xee51(%rip)      # 0x11280
jne 0x25ac
movq 0xeb94(%rip), %rax      # 0x10fd0
movq (%rax), %rax
movq %rax, 0xee3a(%rip)      # 0x11280
jmp 0x23d4
cmpq $0x0, 0xee20(%rip)      # 0x11270
jne 0x25bf
movq 0xeb73(%rip), %rax      # 0x10fd0
movq (%rax), %rax
movq %rax, 0xee09(%rip)      # 0x11270
jmp 0x23d4
cmpq $0x0, 0xee04(%rip)      # 0x11278
jne 0x25d7
movq 0xeb4f(%rip), %rax      # 0x10fd0
movq (%rax), %rax
movq %rax, 0xeded(%rip)      # 0x11278
jmp 0x23d4
movl $0x1, 0xedfa(%rip)      # 0x11294
jmp 0x23d4
cmpq $0x0, 0xedc1(%rip)      # 0x11268
jne 0x2602
movq 0xeb1c(%rip), %rax      # 0x10fd0
movq (%rax), %rax
movq %rax, 0xedaa(%rip)      # 0x11268
jmp 0x23d4
cmpq $0x0, 0xedbd(%rip)      # 0x11288
jne 0x261a
movq 0xeaf8(%rip), %rax      # 0x10fd0
movq (%rax), %rax
movq %rax, 0xeda6(%rip)      # 0x11288
jmp 0x23d4
movl $0x1, 0xed9f(%rip)      # 0x11290
jmp 0x23d4
movl $0x1, 0xed98(%rip)      # 0x11298
jmp 0x23d4
cmpl $-0x1, %eax
jne 0x257d
movl 0xed88(%rip), %eax      # 0x11298
orl 0xed7e(%rip), %eax      # 0x11294
jne 0x256c
cmpq $0x0, 0xed40(%rip)      # 0x11260
je 0x262f
cmpq $0x0, 0xed3a(%rip)      # 0x11268
je 0x2642
cmpq $0x0, 0xed34(%rip)      # 0x11270
je 0x2657
cmpq $0x0, 0xed2e(%rip)      # 0x11278
je 0x266a
cmpq $0x0, 0xed28(%rip)      # 0x11280
je 0x267d
cmpq $0x0, 0xed22(%rip)      # 0x11288
je 0x2690
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xea6c(%rip), %r14      # 0x10ff0
movq (%r14), %rdi
movq 0xea3a(%rip), %rax      # 0x10fc8
movslq (%rax), %rax
movq -0x8(%rbx,%rax,8), %rdx
leaq 0x925d(%rip), %rsi      # 0xb7fa
xorl %eax, %eax
callq 0x2100
movq (%r14), %rsi
jmp 0x26af
movq 0xea3d(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91fc(%rip), %rdi      # 0xb7b9
jmp 0x25e8
movq 0xea2a(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91a9(%rip), %rdi      # 0xb779
pushq $0x21
jmp 0x26a3
movq 0xea12(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91b3(%rip), %rdi      # 0xb79b
pushq $0x1d
jmp 0x26a3
movq 0xe9fa(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x913b(%rip), %rdi      # 0xb73b
jmp 0x2613
movq 0xe9e7(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x9147(%rip), %rdi      # 0xb75a
pushq $0x1e
jmp 0x26a3
movq 0xe9cf(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91ac(%rip), %rdi      # 0xb7d7
pushq $0x22
jmp 0x26a3
movq 0xe9ba(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91d0(%rip), %rdi      # 0xb810
jmp 0x2653
movq 0xe9a7(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91dd(%rip), %rdi      # 0xb830
pushq $0x1f
jmp 0x26a3
movq 0xe992(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91e8(%rip), %rdi      # 0xb850
jmp 0x262b
movq 0xe97f(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x91f8(%rip), %rdi      # 0xb873
jmp 0x2613
movq 0xe96c(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x9204(%rip), %rdi      # 0xb892
jmp 0x2613
movq 0xe959(%rip), %rbx      # 0x10ff0
movq (%rbx), %rcx
leaq 0x9210(%rip), %rdi      # 0xb8b1
pushq $0x23
popq %rsi
pushq $0x1
popq %rdx
callq 0x2190
movq (%rbx), %rsi
movq 0xeb7a(%rip), %rdi      # 0x11230
callq 0x20c0
pushq $0x1
popq %rdi
callq 0x2180