// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_local.c
// Function: Usage
void
Usage(char *prog)
{
	fprintf(stderr, "%s\n", VERSION);
	fprintf(stderr, "=======================\n");
	fprintf(stderr,"Usage: %s [option] file.c\n", prog);
	fprintf(stderr,"\t-V\tversion information\n");
	fprintf(stderr,"\t-s\tsymbol table information\n");

	fprintf(stderr,"\t-CPP=...\tset preprocessor\n");
	fprintf(stderr,"\t-D...\tdefine macro name (preprocessor)\n");
	fprintf(stderr,"\t-U...\tundefine macro name (preprocessor)\n");
	fprintf(stderr,"\t-I...\tdirectory to search for include files\n");
	fprintf(stderr,"\t-W...\tset working directory to store .uno files\n");

	fprintf(stderr, "\t-localonly\tdo not generate intermediate .uno file\n");
	fprintf(stderr, "\t-master x\tprepend file x to source before parsing\n");
	fprintf(stderr, "\t-nopre \tignore #include directives\n");
	fprintf(stderr, "\t-nova \tdo not redefine va_start, va_arg, and va_end\n");

	fprintf(stderr, "\t-prop x\tapply user-defined property def in file x\n");
	fprintf(stderr, "\t-allerr\treport all error paths, not a selection\n");
	fprintf(stderr, "\t-fullpaths \tgive full error paths on property violations\n");
	fprintf(stderr, "\t-exit x\tadd x to list of fcts known to have no return\n");

	fprintf(stderr, "\t-picky\tmore picky and verbose, includes -use\n");
	fprintf(stderr, "\t-use\tcomplain about redundancies\n");
	fprintf(stderr, "\t-else\tcheck else chains\n");
	fprintf(stderr, "\t-rules\tcheck some coding-style rules\n");

	fprintf(stderr, "\t-extern\tlist all fcts declared non-static\n");
	fprintf(stderr, "\t-static\tlist all fcts declared static\n");
	fprintf(stderr, "\t-typedefs\tlist all user-defined type names\n");
	fprintf(stderr, "\t-shared\tlist all global variables imported or exported\n");
	fprintf(stderr, "\t-t\tvery weak attempt at finding type mismatches\n");

	fprintf(stderr, "\t-cfg\tgenerate control flow graph (from main) in dot format\n");
	fprintf(stderr, "\t-cfg fct\tgenerate control flow graph (from fct) in dot format\n");
	fprintf(stderr, "\t-cyclo\tcompute (edges - nodes + 2) for all functions\n");
	fprintf(stderr, "\t-local\tignored (for backward compatability)\n");
	fprintf(stderr, "\t-v\tverbose (multiple -v's add verbosity)\n");
	fprintf(stderr, "\t-w\tdo not remove temporary files (debugging)\n");
	exit(1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movq %rdi, -0x8(%rbp)
movq 0x4ac85(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
movq 0x4ade3(%rip), %rdx     # 0x4e160
leaq 0x43a98(%rip), %rsi     # 0x46e1c
movb $0x0, %al
callq 0x3170
movq 0x4ac66(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30c77(%rip), %rsi     # 0x34013
movb $0x0, %al
callq 0x3170
movq 0x4ac4e(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
movq -0x8(%rbp), %rdx
leaq 0x30c74(%rip), %rsi     # 0x3402c
movb $0x0, %al
callq 0x3170
movq 0x4ac32(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30c77(%rip), %rsi     # 0x34047
movb $0x0, %al
callq 0x3170
movq 0x4ac1a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30c78(%rip), %rsi     # 0x34060
movb $0x0, %al
callq 0x3170
movq 0x4ac02(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30c7e(%rip), %rsi     # 0x3407e
movb $0x0, %al
callq 0x3170
movq 0x4abea(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30c82(%rip), %rsi     # 0x3409a
movb $0x0, %al
callq 0x3170
movq 0x4abd2(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30c93(%rip), %rsi     # 0x340c3
movb $0x0, %al
callq 0x3170
movq 0x4abba(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30ca6(%rip), %rsi     # 0x340ee
movb $0x0, %al
callq 0x3170
movq 0x4aba2(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30cbc(%rip), %rsi     # 0x3411c
movb $0x0, %al
callq 0x3170
movq 0x4ab8a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30cd6(%rip), %rsi     # 0x3414e
movb $0x0, %al
callq 0x3170
movq 0x4ab72(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30cf2(%rip), %rsi     # 0x34182
movb $0x0, %al
callq 0x3170
movq 0x4ab5a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30d0e(%rip), %rsi     # 0x341b6
movb $0x0, %al
callq 0x3170
movq 0x4ab42(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30d1b(%rip), %rsi     # 0x341db
movb $0x0, %al
callq 0x3170
movq 0x4ab2a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30d39(%rip), %rsi     # 0x34211
movb $0x0, %al
callq 0x3170
movq 0x4ab12(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30d55(%rip), %rsi     # 0x34245
movb $0x0, %al
callq 0x3170
movq 0x4aafa(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30d6f(%rip), %rsi     # 0x34277
movb $0x0, %al
callq 0x3170
movq 0x4aae2(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30d92(%rip), %rsi     # 0x342b2
movb $0x0, %al
callq 0x3170
movq 0x4aaca(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30db2(%rip), %rsi     # 0x342ea
movb $0x0, %al
callq 0x3170
movq 0x4aab2(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30dc9(%rip), %rsi     # 0x34319
movb $0x0, %al
callq 0x3170
movq 0x4aa9a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30dd4(%rip), %rsi     # 0x3433c
movb $0x0, %al
callq 0x3170
movq 0x4aa82(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30dd6(%rip), %rsi     # 0x34356
movb $0x0, %al
callq 0x3170
movq 0x4aa6a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30de5(%rip), %rsi     # 0x3437d
movb $0x0, %al
callq 0x3170
movq 0x4aa52(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30df9(%rip), %rsi     # 0x343a9
movb $0x0, %al
callq 0x3170
movq 0x4aa3a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30e09(%rip), %rsi     # 0x343d1
movb $0x0, %al
callq 0x3170
movq 0x4aa22(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30e1e(%rip), %rsi     # 0x343fe
movb $0x0, %al
callq 0x3170
movq 0x4aa0a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30e3f(%rip), %rsi     # 0x34437
movb $0x0, %al
callq 0x3170
movq 0x4a9f2(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30e59(%rip), %rsi     # 0x34469
movb $0x0, %al
callq 0x3170
movq 0x4a9da(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30e7e(%rip), %rsi     # 0x344a6
movb $0x0, %al
callq 0x3170
movq 0x4a9c2(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30ea6(%rip), %rsi     # 0x344e6
movb $0x0, %al
callq 0x3170
movq 0x4a9aa(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30ec5(%rip), %rsi     # 0x3451d
movb $0x0, %al
callq 0x3170
movq 0x4a992(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30edb(%rip), %rsi     # 0x3454b
movb $0x0, %al
callq 0x3170
movq 0x4a97a(%rip), %rax     # 0x4dff8
movq (%rax), %rdi
leaq 0x30eee(%rip), %rsi     # 0x34576
movb $0x0, %al
callq 0x3170
movl $0x1, %edi
callq 0x3230
nopl (%rax)