// File: /workspace/github_c_makefile_star2_O3/nimble-code[P]Uno/Src/uno_local.c
// Function: add_never
void
add_never(FILE *fo)
{	FILE *fd;
	char buf[1024];

	if ((fd = fopen(never, "r")) == NULL)
	{	fprintf(stderr, "uno: cannot open %s\n", never);
		return;
	}

	fprintf(fo, "/** property from %s: **/\n", never);
	fprintf(fo, "#undef ANY\n");
	fprintf(fo, "#undef NONE\n");
	fprintf(fo, "#undef DEF\n");
	fprintf(fo, "#undef USE\n");
	fprintf(fo, "#undef FCALL\n");
	fprintf(fo, "#undef REF0\n");
	fprintf(fo, "#undef REF1\n");
	fprintf(fo, "#undef REF2\n");
	fprintf(fo, "#undef DEREF\n");
	fprintf(fo, "#undef ALIAS\n");
	fprintf(fo, "#undef ARRAY_DECL\n");
	fprintf(fo, "#undef HIDE\n");
	fprintf(fo, "#undef DECL\n");
	fprintf(fo, "#undef USEafterdef\n");
	fprintf(fo, "#undef USEbeforedef\n");
	fprintf(fo, "#undef UNO_CONST\n");
	fprintf(fo, "#undef PARAM\n");
	fprintf(fo, "#undef IN_SIZEOF\n");
	fprintf(fo, "#undef IS_PTR\n");
	fprintf(fo, "#undef NOT_SCALAR\n");
	fprintf(fo, "#undef INCOND\n");

	fprintf(fo, "#define NONE	%d\n", NONE);
	fprintf(fo, "#define ANY	%d\n", ANY);
	fprintf(fo, "#define DEF	%d\n", DEF);
	fprintf(fo, "#define FCALL	%d\n", FCALL);
	fprintf(fo, "#define USE	%d\n", USE);
	fprintf(fo, "#define REF0	%d\n", REF0);
	fprintf(fo, "#define REF1	%d\n", REF1);
	fprintf(fo, "#define REF2	%d\n", REF2);
	fprintf(fo, "#define DEREF	%d\n", DEREF);
	fprintf(fo, "#define ALIAS	%d\n", ALIAS);
	fprintf(fo, "#define ARRAY_DECL	%d\n", ARRAY_DECL);
	fprintf(fo, "#define HIDE	%d\n", HIDE);
	fprintf(fo, "#define DECL	%d\n", DECL);
	fprintf(fo, "#define USEafterdef	%d\n", USEafterdef);
	fprintf(fo, "#define USEbeforedef	%d\n", USEbeforedef);
	fprintf(fo, "#define UNO_CONST	%d\n", UNO_CONST);
	fprintf(fo, "#define PARAM	%d\n", PARAM);
	fprintf(fo, "#define IN_SIZEOF	%d\n", IN_SIZEOF);
	fprintf(fo, "#define IS_PTR	%d\n", IS_PTR);
	fprintf(fo, "#define INCOND	%d\n", INCOND);
	fprintf(fo, "#define NOT_SCALAR	(REF0|REF1|REF2|ALIAS|DEREF)\n");
	fprintf(fo, "#line 1 \"%s\"\n", never);

	while (fgets(buf, 1024, fd))
		fprintf(fo, "%s", buf);
	fclose(fd);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x400, %rsp            # imm = 0x400
movq %rdi, %rbx
movq 0x339ab(%rip), %rdi     # 0x381f8
leaq 0x2b0c7(%rip), %rsi     # 0x2f91b
callq 0x3220
testq %rax, %rax
je 0x4cbd
movq %rax, %r14
movq 0x3398c(%rip), %rdx     # 0x381f8
leaq 0x1ad47(%rip), %rsi     # 0x1f5ba
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x1ad51(%rip), %rdi     # 0x1f5d5
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ad44(%rip), %rdi     # 0x1f5e1
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ad38(%rip), %rdi     # 0x1f5ee
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ad2b(%rip), %rdi     # 0x1f5fa
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ad1e(%rip), %rdi     # 0x1f606
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ad13(%rip), %rdi     # 0x1f614
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ad07(%rip), %rdi     # 0x1f621
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acfb(%rip), %rdi     # 0x1f62e
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acef(%rip), %rdi     # 0x1f63b
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ace4(%rip), %rdi     # 0x1f649
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acd9(%rip), %rdi     # 0x1f657
movl $0x12, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acd3(%rip), %rdi     # 0x1f66a
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acc7(%rip), %rdi     # 0x1f677
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acbb(%rip), %rdi     # 0x1f684
movl $0x13, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acb6(%rip), %rdi     # 0x1f698
movl $0x14, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acb2(%rip), %rdi     # 0x1f6ad
movl $0x11, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1acab(%rip), %rdi     # 0x1f6bf
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1aca0(%rip), %rdi     # 0x1f6cd
movl $0x11, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ac99(%rip), %rdi     # 0x1f6df
movl $0xe, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ac8f(%rip), %rdi     # 0x1f6ee
movl $0x12, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ac89(%rip), %rdi     # 0x1f701
movl $0xe, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
leaq 0x1ac7f(%rip), %rsi     # 0x1f710
movq %rbx, %rdi
xorl %edx, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac7d(%rip), %rsi     # 0x1f721
movq %rbx, %rdi
movl $0xfffff, %edx          # imm = 0xFFFFF
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac77(%rip), %rsi     # 0x1f731
movq %rbx, %rdi
movl $0x1, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac71(%rip), %rsi     # 0x1f741
movq %rbx, %rdi
movl $0x2, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac6d(%rip), %rsi     # 0x1f753
movq %rbx, %rdi
movl $0x4, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac67(%rip), %rsi     # 0x1f763
movq %rbx, %rdi
movl $0x8, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac62(%rip), %rsi     # 0x1f774
movq %rbx, %rdi
movl $0x10, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac5d(%rip), %rsi     # 0x1f785
movq %rbx, %rdi
movl $0x20, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac58(%rip), %rsi     # 0x1f796
movq %rbx, %rdi
movl $0x40, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac54(%rip), %rsi     # 0x1f7a8
movq %rbx, %rdi
movl $0x80, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac50(%rip), %rsi     # 0x1f7ba
movq %rbx, %rdi
movl $0x100, %edx            # imm = 0x100
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac51(%rip), %rsi     # 0x1f7d1
movq %rbx, %rdi
movl $0x200, %edx            # imm = 0x200
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac4c(%rip), %rsi     # 0x1f7e2
movq %rbx, %rdi
movl $0x400, %edx            # imm = 0x400
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac47(%rip), %rsi     # 0x1f7f3
movq %rbx, %rdi
movl $0x800, %edx            # imm = 0x800
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac49(%rip), %rsi     # 0x1f80b
movq %rbx, %rdi
movl $0x1000, %edx           # imm = 0x1000
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac4c(%rip), %rsi     # 0x1f824
movq %rbx, %rdi
movl $0x2000, %edx           # imm = 0x2000
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac4c(%rip), %rsi     # 0x1f83a
movq %rbx, %rdi
movl $0x4000, %edx           # imm = 0x4000
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac48(%rip), %rsi     # 0x1f84c
movq %rbx, %rdi
movl $0x20000, %edx          # imm = 0x20000
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac48(%rip), %rsi     # 0x1f862
movq %rbx, %rdi
movl $0x40000, %edx          # imm = 0x40000
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac45(%rip), %rsi     # 0x1f875
movq %rbx, %rdi
movl $0x8000, %edx           # imm = 0x8000
xorl %eax, %eax
callq 0x31a0
leaq 0x1ac42(%rip), %rdi     # 0x1f888
movl $0x30, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3270
movq 0x33599(%rip), %rdx     # 0x381f8
leaq 0x1ac53(%rip), %rsi     # 0x1f8b9
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
movq %rsp, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r14, %rdx
callq 0x3170
testq %rax, %rax
je 0x4ca8
movq %rsp, %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x3140
movq %r15, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r14, %rdx
callq 0x3170
testq %rax, %rax
jne 0x4c88
movq %r14, %rdi
callq 0x30c0
addq $0x400, %rsp            # imm = 0x400
popq %rbx
popq %r14
popq %r15
retq
callq 0x32b0
jmp 0x4cb0