// File: /workspace/github_c_makefile_star2_O2/nimble-code[P]Uno/Src/uno.c
// Function: uno_usage
static void
uno_usage(void)
{	/* duplicates function of /v/bin/uno shellscript in c-program */

	fprintf(stderr, "usage: uno [options] *.c\n");
	fprintf(stderr, "uno options:\n");
	fprintf(stderr, "\t-CPP=x	set preprocessor to x\n");
	fprintf(stderr, "\t-Dname=def	define    compiler directive\n");
	fprintf(stderr, "\t-Dname    	define    compiler directive\n");
	fprintf(stderr, "\t-Uname    	undefine  compiler directive\n");
	fprintf(stderr, "\t-Iname    	add name to list of dirs searched for include-files\n");
	fprintf(stderr, "\t-Wname       use name as working directory to store .uno files\n\n");
	fprintf(stderr, "\t-Lname	replace uno_local with name\n");
	fprintf(stderr, "\t-Gname	replace uno_global with name\n");
	fprintf(stderr, "\t-n		ignore preprocessing directives in source files\n");
	fprintf(stderr, "\t-o arg	ignored, for modest compatability with cc arguments\n");
	fprintf(stderr, "\t-m uno.dfn	use master (type) definitions file uno.dfn\n");
	fprintf(stderr, "\t-x f		declare f to be a function that does not return\n\n");
	fprintf(stderr, "\t-V        	print version number and exit\n");
	fprintf(stderr, "\t-s		print symbol table information and exit\n\n");
	fprintf(stderr, "\t-l or -c	perform only local analysis, not global\n");
	fprintf(stderr, "\t-p x		check local property def stored in file x\n");
	fprintf(stderr, "\t-g x		check global property def stored in file x\n\n");
	fprintf(stderr, "\t-a		report all error paths (local analysis)\n");
	fprintf(stderr, "\t-e		add the else-chain checker\n");
	fprintf(stderr, "\t-q		quiet mode, no hints at the end for other checks\n");
	fprintf(stderr, "\t-r		check some coding-style rules\n");
	fprintf(stderr, "\t-t		more detailed execution traces (global analysis)\n");
	fprintf(stderr, "\t-u		complain about redundancies of all sorts\n");
	fprintf(stderr, "\t-v		verbose mode (mostly for debugging)\n");
	fprintf(stderr, "\t-w		more picky, includes -u and -t\n");
	exit(1);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq 0x25b1(%rip), %rbp      # 0x3ff8
movq (%rbp), %rcx
leaq 0x77b(%rip), %rdi       # 0x21cd
pushq $0x19
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x77c(%rip), %rdi       # 0x21e7
pushq $0xd
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x774(%rip), %rdi       # 0x21f5
pushq $0x1e
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x77d(%rip), %rdi       # 0x2214
pushq $0x29
popq %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x78d(%rip), %rdi       # 0x223e
movq %r14, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x7a1(%rip), %rdi       # 0x2268
movq %r14, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x7b5(%rip), %rdi       # 0x2292
pushq $0x40
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x7e0(%rip), %rdi       # 0x22d3
pushq $0x41
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x80c(%rip), %rdi       # 0x2315
pushq $0x24
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x817(%rip), %rdi       # 0x233a
pushq $0x25
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x827(%rip), %rdi       # 0x2360
pushq $0x35
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x847(%rip), %rdi       # 0x2396
pushq $0x3c
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x86e(%rip), %rdi       # 0x23d3
pushq $0x37
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x890(%rip), %rdi       # 0x240b
pushq $0x38
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x8b3(%rip), %rdi       # 0x2444
pushq $0x2a
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x8c8(%rip), %rdi       # 0x246f
pushq $0x2e
popq %r12
movq %r12, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x8dd(%rip), %rdi       # 0x249e
pushq $0x32
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x8fa(%rip), %rdi       # 0x24d1
pushq $0x31
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x916(%rip), %rdi       # 0x2503
pushq $0x33
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x934(%rip), %rdi       # 0x2537
pushq $0x2d
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x94c(%rip), %rdi       # 0x2565
pushq $0x20
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x957(%rip), %rdi       # 0x2586
pushq $0x36
popq %r13
movq %r13, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x974(%rip), %rdi       # 0x25bd
pushq $0x23
popq %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x982(%rip), %rdi       # 0x25e1
movq %r13, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x9a3(%rip), %rdi       # 0x2618
movq %r12, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x9bc(%rip), %rdi       # 0x2647
movq %r14, %rsi
movq %rbx, %rdx
callq 0x1130
movq (%rbp), %rcx
leaq 0x9d0(%rip), %rdi       # 0x2671
movq %r15, %rsi
movq %rbx, %rdx
callq 0x1130
pushq $0x1
popq %rdi
callq 0x1120