// File: /workspace/github_c_makefile_star2_O0/alexgirao[P]aimant/aimant.c
// Function: help
static void help(const char *argv0, struct getopt_x *state)
{
	char buf[4096];
	int bufsz = sizeof(buf);
	struct option opt[1];
	int pos = 0;
	int c = 0;

	pos += snprintf(buf + pos, SOZ(bufsz,pos), "\n");
	pos += snprintf(buf + pos, SOZ(bufsz,pos), "  usage: %s [options] ...\n", argv0);
	pos += snprintf(buf + pos, SOZ(bufsz,pos), "  options:\n");
	pos += snprintf(buf + pos, SOZ(bufsz,pos), "\n");

	while ((c = getopt_x_option(state, c, opt)) >= 0) {
		pos += getopt_x_option_format(buf + pos, bufsz - pos, state, opt);
		switch (opt->val) {
		case 'p': pos += snprintf(buf + pos, SOZ(bufsz,pos), "pid file to send signal (USR1) to reopen log files\n"); break;
		case 'l': pos += snprintf(buf + pos, SOZ(bufsz,pos), "log file to feed sink\n"); break;
		case 's': pos += snprintf(buf + pos, SOZ(bufsz,pos), "svlogd path, default is \"%s\"\n", args->svlogd_path); break;
		case 'c': pos += snprintf(buf + pos, SOZ(bufsz,pos), "count to rotate (bytes), default is %li\n", args->count_to_rotate); break;
		case 'o': pos += snprintf(buf + pos, SOZ(bufsz,pos), "svlogd output directory, default is \".\"\n"); break;
		case 'e':
		case 'h':
			pos += snprintf(buf + pos, SOZ(bufsz,pos), "\n");
			break;
		default: pos += snprintf(buf + pos, SOZ(bufsz,pos), "undocumented\n");
		}
		if (pos >= bufsz) {
			DEBUG("buffer too small");
			exit(1);
		}
	}
	pos += snprintf(buf + pos, SOZ(bufsz,pos), "\n");

	fputs(buf, stderr);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1110, %rsp           # imm = 0x1110
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x1000, -0x1014(%rbp)  # imm = 0x1000
movl $0x0, -0x1044(%rbp)
movl $0x0, -0x1048(%rbp)
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1050(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x467b
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x1054(%rbp)
jmp 0x4685
xorl %eax, %eax
movl %eax, -0x1054(%rbp)
jmp 0x4685
movq -0x1050(%rbp), %rdi
movl -0x1054(%rbp), %eax
movslq %eax, %rsi
leaq 0xc208(%rip), %rdx      # 0x108a4
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1060(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x46e9
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x1064(%rbp)
jmp 0x46f3
xorl %eax, %eax
movl %eax, -0x1064(%rbp)
jmp 0x46f3
movq -0x1060(%rbp), %rdi
movl -0x1064(%rbp), %eax
movslq %eax, %rsi
movq -0x8(%rbp), %rcx
leaq 0xc0b6(%rip), %rdx      # 0x107c4
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1070(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x475b
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x1074(%rbp)
jmp 0x4765
xorl %eax, %eax
movl %eax, -0x1074(%rbp)
jmp 0x4765
movq -0x1070(%rbp), %rdi
movl -0x1074(%rbp), %eax
movslq %eax, %rsi
leaq 0xc063(%rip), %rdx      # 0x107df
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1080(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x47c9
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x1084(%rbp)
jmp 0x47d3
xorl %eax, %eax
movl %eax, -0x1084(%rbp)
jmp 0x47d3
movq -0x1080(%rbp), %rdi
movl -0x1084(%rbp), %eax
movslq %eax, %rsi
leaq 0xc0ba(%rip), %rdx      # 0x108a4
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
movq -0x10(%rbp), %rdi
movl -0x1048(%rbp), %esi
leaq -0x1040(%rbp), %rdx
callq 0xca70
movl %eax, -0x1048(%rbp)
cmpl $0x0, %eax
jl 0x4bf8
movslq -0x1044(%rbp), %rcx
movl %ecx, %eax
leaq -0x1010(%rbp,%rcx), %rdi
movl -0x1014(%rbp), %esi
subl %eax, %esi
movq -0x10(%rbp), %rdx
leaq -0x1040(%rbp), %rcx
callq 0xcbe0
movl %eax, %ecx
movl -0x1044(%rbp), %eax
addl %ecx, %eax
movl %eax, -0x1044(%rbp)
movl -0x1028(%rbp), %eax
addl $-0x63, %eax
movl %eax, %ecx
movq %rcx, -0x1090(%rbp)
subl $0x10, %eax
ja 0x4b51
movq -0x1090(%rbp), %rax
leaq 0xb780(%rip), %rcx      # 0x10004
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1098(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x48c7
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x109c(%rbp)
jmp 0x48d1
xorl %eax, %eax
movl %eax, -0x109c(%rbp)
jmp 0x48d1
movq -0x1098(%rbp), %rdi
movl -0x109c(%rbp), %eax
movslq %eax, %rsi
leaq 0xbf03(%rip), %rdx      # 0x107eb
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
jmp 0x4bbf
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x10a8(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x493a
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x10ac(%rbp)
jmp 0x4944
xorl %eax, %eax
movl %eax, -0x10ac(%rbp)
jmp 0x4944
movq -0x10a8(%rbp), %rdi
movl -0x10ac(%rbp), %eax
movslq %eax, %rsi
leaq 0xbec4(%rip), %rdx      # 0x1081f
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
jmp 0x4bbf
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x10b8(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x49ad
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x10bc(%rbp)
jmp 0x49b7
xorl %eax, %eax
movl %eax, -0x10bc(%rbp)
jmp 0x49b7
movq -0x10b8(%rbp), %rdi
movl -0x10bc(%rbp), %eax
movslq %eax, %rsi
leaq 0xbe68(%rip), %rdx      # 0x10836
leaq 0x1182b(%rip), %rcx     # 0x16200
addq $0x200, %rcx            # imm = 0x200
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
jmp 0x4bbf
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x10c8(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x4a2e
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x10cc(%rbp)
jmp 0x4a38
xorl %eax, %eax
movl %eax, -0x10cc(%rbp)
jmp 0x4a38
movq -0x10c8(%rbp), %rdi
movl -0x10cc(%rbp), %eax
movslq %eax, %rsi
movq 0x11ab1(%rip), %rcx     # 0x16500
leaq 0xbdfe(%rip), %rdx      # 0x10854
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
jmp 0x4bbf
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x10d8(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x4aa8
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x10dc(%rbp)
jmp 0x4ab2
xorl %eax, %eax
movl %eax, -0x10dc(%rbp)
jmp 0x4ab2
movq -0x10d8(%rbp), %rdi
movl -0x10dc(%rbp), %eax
movslq %eax, %rsi
leaq 0xbdb4(%rip), %rdx      # 0x1087d
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
jmp 0x4bbf
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x10e8(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x4b1b
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x10ec(%rbp)
jmp 0x4b25
xorl %eax, %eax
movl %eax, -0x10ec(%rbp)
jmp 0x4b25
movq -0x10e8(%rbp), %rdi
movl -0x10ec(%rbp), %eax
movslq %eax, %rsi
leaq 0xbd68(%rip), %rdx      # 0x108a4
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
jmp 0x4bbf
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x10f8(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x4b8b
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x10fc(%rbp)
jmp 0x4b95
xorl %eax, %eax
movl %eax, -0x10fc(%rbp)
jmp 0x4b95
movq -0x10f8(%rbp), %rdi
movl -0x10fc(%rbp), %eax
movslq %eax, %rsi
leaq 0xbcfa(%rip), %rdx      # 0x108a6
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
movl -0x1044(%rbp), %eax
cmpl -0x1014(%rbp), %eax
jl 0x4bf3
jmp 0x4bcf
leaq 0xb486(%rip), %rdi      # 0x1005c
movl $0x46f, %esi            # imm = 0x46F
leaq 0xbcd2(%rip), %rdx      # 0x108b4
movb $0x0, %al
callq 0xdfe0
movl $0x1, %edi
callq 0x2350
jmp 0x47fd
leaq -0x1010(%rbp), %rax
movslq -0x1044(%rbp), %rcx
addq %rcx, %rax
movq %rax, -0x1108(%rbp)
movl -0x1014(%rbp), %eax
cmpl -0x1044(%rbp), %eax
jle 0x4c32
movl -0x1014(%rbp), %eax
subl -0x1044(%rbp), %eax
movl %eax, -0x110c(%rbp)
jmp 0x4c3c
xorl %eax, %eax
movl %eax, -0x110c(%rbp)
jmp 0x4c3c
movq -0x1108(%rbp), %rdi
movl -0x110c(%rbp), %eax
movslq %eax, %rsi
leaq 0xbc51(%rip), %rdx      # 0x108a4
movb $0x0, %al
callq 0x2170
addl -0x1044(%rbp), %eax
movl %eax, -0x1044(%rbp)
leaq -0x1010(%rbp), %rdi
movq 0x11384(%rip), %rax     # 0x15ff8
movq (%rax), %rsi
callq 0x21b0
addq $0x1110, %rsp           # imm = 0x1110
popq %rbp
retq
nopw %cs:(%rax,%rax)