// File: /workspace/github_c_makefile_star2_O1/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 %rbx
movq 0x25c8(%rip), %rbx      # 0x3ff8
movq (%rbx), %rcx
leaq 0x793(%rip), %rdi       # 0x21cd
movl $0x19, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x794(%rip), %rdi       # 0x21e7
movl $0xd, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x789(%rip), %rdi       # 0x21f5
movl $0x1e, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x78f(%rip), %rdi       # 0x2214
movl $0x29, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x7a0(%rip), %rdi       # 0x223e
movl $0x29, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x7b1(%rip), %rdi       # 0x2268
movl $0x29, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x7c2(%rip), %rdi       # 0x2292
movl $0x40, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x7ea(%rip), %rdi       # 0x22d3
movl $0x41, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x813(%rip), %rdi       # 0x2315
movl $0x24, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x81f(%rip), %rdi       # 0x233a
movl $0x25, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x82c(%rip), %rdi       # 0x2360
movl $0x35, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x849(%rip), %rdi       # 0x2396
movl $0x3c, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x86d(%rip), %rdi       # 0x23d3
movl $0x37, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x88c(%rip), %rdi       # 0x240b
movl $0x38, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x8ac(%rip), %rdi       # 0x2444
movl $0x2a, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x8be(%rip), %rdi       # 0x246f
movl $0x2e, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x8d4(%rip), %rdi       # 0x249e
movl $0x32, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x8ee(%rip), %rdi       # 0x24d1
movl $0x31, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x907(%rip), %rdi       # 0x2503
movl $0x33, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x922(%rip), %rdi       # 0x2537
movl $0x2d, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x937(%rip), %rdi       # 0x2565
movl $0x20, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x93f(%rip), %rdi       # 0x2586
movl $0x36, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x95d(%rip), %rdi       # 0x25bd
movl $0x23, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x968(%rip), %rdi       # 0x25e1
movl $0x36, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x986(%rip), %rdi       # 0x2618
movl $0x2e, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x99c(%rip), %rdi       # 0x2647
movl $0x29, %esi
movl $0x1, %edx
callq 0x1130
movq (%rbx), %rcx
leaq 0x9ad(%rip), %rdi       # 0x2671
movl $0x24, %esi
movl $0x1, %edx
callq 0x1130
movl $0x1, %edi
callq 0x1120